Stars
An open-source framework for verifiably private AI inference
🌐 The open-source Agentic browser; privacy-first alternative to ChatGPT Atlas, Perplexity Comet, Dia.
Using LLMs to transpile from Coq to Lean (public version, may be out of date)
A Python library for LLM-based evaluation using weighted rubrics.
An MCP server that autonomously evaluates web applications.
A lightweight next-gen data explorer - Postgres, MySQL, SQLite, MongoDB, Redis, MariaDB, Elastic Search, and Clickhouse with Chat interface
Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Telemetry & Runtime • Run real-world MCPs powering AI Agents
HelixDB is an open-source graph-vector database built from scratch in Rust.
Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).
Next Generation Experimental Tracking for Machine Learning Operations
Context retrieval for AI agents across apps and databases
The most accurate document search and store for building AI apps
✨ Build a machine learning model from a prompt
Open-source platform to build and deploy AI agent workflows.
🦛 CHONK docs with Chonkie ✨ — The lightweight ingestion library for fast, efficient and robust RAG pipelines
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
Lean 4 programming language and theorem prover
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Mathematical Components compliant Analysis Library
Command-line program to download videos from YouTube.com and other video sites
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
a python script to help debug setoid_rewrite failures in coq
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott