AI Agents
mathcode
math-ai-org/mathcode
A terminal-based math coding agent that writes code, explores Lean proof goals, and verifies proofs interactively.
Topics
Related projects
opensquilla7.1kA token-efficient microkernel AI agent with a shared turn loop across Web UI, CLI, and chat channels, plus routing, memory, and sandboxing.
momo-code1.1kMOMO Code is a self-evolving AI coding agent CLI built on opencode and Pi. It runs in the terminal, edits code, spawns subagents, and improves its tactics through experience loops and recursive self-improvement.
SWE-agent20.8kAn autonomous coding agent that fixes GitHub issues by using tools to edit code and run tests.
RD-Agent15.2kMicrosoft's autonomous R&D agent for data-driven quant, data science, and ML engineering loops.
open-swe11.2kAn open-source asynchronous coding agent that investigates code, implements changes, validates them and delivers pull requests.
Operit9.6kOperit is an Android AI agent app that connects cloud or local models to device capabilities, terminals, browsers, and files to autonomously complete real-world tasks.