Coding Agents Listings
Compare the best open-source listings for coding agents. Agents and tools that write, review and refactor code. Ranked by GitHub stars, with install commands, what each one can touch and scan reports where available.
Formal Verification RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
Jcodemunch MCP
Symbol-level code retrieval for AI agents: fetch the function you need, not the whole file. Runs locally. 96.2% fewer tokens per lookup than grep-and-read on our 15-lookup benchmark. Works with Claude Code, Cursor, Codex and any MCP client.
Korean Law MCP
법제처 국가법령정보를 LLM에서 바로 조회하는 MCP 서버. 법령·판례·조례 검색과 인용 검증 | MCP server for Korean law — search statutes, precedents, and ordinances, and verify citations
Teaql Agent Kit
A model-driven harness for AI coding agents: semantic modeling, app generation, progressive API Assist and evidence-based verification.
Claude Code From Scratch
Build your own Claude Code from scratch. 🔍 Claude Code 开源了 50 万行代码，读不动？用 ~5000 行 TypeScript / Python 从零复现核心架构，11 章分步教程带你理解 coding agent 精髓
Fastapi Langgraph Agent Production Ready Template
A production-ready FastAPI template for building AI agent applications with LangGraph integration. This template provides a robust foundation for building scalable, secure, and maintainable AI agent services.
Little Coder
A harness optimized to smaller LLMs
X64dbg MCP Server
x64dbg-MCP Server is a native MCP (Model Context Protocol) plugin for x64dbg that exposes the debugger's full functionality over HTTP. Connect any MCP-compatible AI assistant and control x64dbg programmatically: set breakpoints, step through code, read memory, dump registers, and more. Built with Zig — zero dependencies, single-binary output, cros
CodeNomad
CodeNomad: The command center that puts AI coding on steroids.
Agent Toolkit
A curated collection of skills for AI coding agents. Skills are packaged instructions and scripts that extend agent capabilities across development, documentation, planning, and professional workflows.
Layerfs
Ephemeral Workspaces, durable shared history. LayerFS gives every agent a complete, writable filesystem Workspace over shared committed history, without copying the base. Agents work in parallel, commit what changed as deduplicated checkpoints, then branch, rewind or merge. Try it with LayerFS × DSH.
HolyClaude
AI coding workstation: Claude Code + web UI + 8 AI CLIs + headless browser + 50+ tools
Nitrostack
The full-stack TypeScript framework to build, test, and deploy production-ready MCP servers and AI-native apps.
Delegate Skills
Delegate a coding task to a separate coding agent CLI, review the diff, land the commit yourself — one per implementer.
Lanhu MCP
⚡ 需求分析效率提升 200%！全球首个为 AI 编程时代设计的团队协作 MCP 服务器，自动分析需求自动编写前后端代码，下载切图
Nanocoder
An open coding agent for your terminal, built by a community collective rather than a company. Bring your own model, keep your code on your machine, and owe nothing to anyone.
CodeIsland
Real-time AI coding agent status panel in your MacBook notch — live status, approvals & replies for 30+ AI coding tools, with iPhone & Apple Watch companions
Ripwire
The ripgrep of AI context: a zero-dependency C++23 CLI + MCP server for coding agents. Find what you want without reading the repo, then check you built what you meant — blast radius, tests-to-run, quality deltas. Signatures at 74.7% fewer bytes than bodies; every guess labelled, every loss published. Paddle out with a map.
Bitterbot Desktop
Bitterbot - a mesh of agents that turns shared experience into collective capability.
Codel
✨ Fully autonomous AI Agent that can perform complicated tasks and projects using terminal, browser, and editor.
Zeroboot
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
Oterm
the terminal client for LLMs
Bionic Gpt
Bionic is sovereign Agentic AI for the enterprise — Runs on-premise and can securely work with your sensitive data and systems.
Pr Lens
Review code 100X faster. Lens draws every PR as animated architecture and data-flow walkthroughs, inside the pull request itself. Use it as a GitHub App, GitHub Action, CLI, or a Skill for your coding agent
List refreshed November 15, 2026. Data comes from public GitHub repositories.