Stars
AIDE: AI-Driven Exploration in the Space of Code. The machine Learning engineering agent that automates AI R&D.
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
A Tree Search Library with Flexible API for LLM Inference-Time Scaling
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
Tool for data extraction and interacting with Lean programmatically.
A project to digitalise results from physics into Lean.
Research code base for Automatic Textbook Formalization
Lean 4 programming language and theorem prover
High performance self-hosted photo and video management solution.
Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference
Codebase intelligence for AI-assisted engineering teams: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
Muon is an optimizer for hidden layers in neural networks
Harbor is a framework for running agent evaluations and creating and using RL environments.
Geziyor, blazing fast web crawling & scraping framework for Go. Supports JS rendering.
Comprehensive documentation for Hermes Agent by NousResearch — the self-improving AI agent (v0.2.0)
Warp is an agentic development environment, born out of the terminal.
net/http.Client like HTTP Client with options to select specific client TLS Fingerprints to use for requests.
"OpenSpace: Make Your Agents: Smarter, Low-Cost, Self-Evolving" -- Community: https://open-space.cloud/
The headless browser for AI agents and web scraping
An LLM-as-a-judge HTTP proxy to secure agents in production