Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimiz
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Maintain this project? Show that it is featured on YunoDB.
[](https://yunodb.com/tools/axiomcodeaiaxiomcodegraph?utm_source=github&utm_medium=badge)<a href="https://yunodb.com/tools/axiomcodeaiaxiomcodegraph?utm_source=github&utm_medium=badge"><img src="https://yunodb.com/badge/axiomcodeaiaxiomcodegraph.svg" alt="Featured on YunoDB" height="20"></a>
Open-source (Apache-2.0) orchestrator for Claude Code, Codex & 30+ coding agents. Plan, run and supervise agent teams from task to merged PR. Desktop (macOS, Wi
🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS,
AAS Core is the local, agent-first control plane for complete catalog discovery, agent-owned selection, stack validation, and planning, backed by 2,600+ agentic