AxiomCode Graph, Reducing coding agent rework with formal methods
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.
14 oct. 2026, 18:36 · Show HN · il y a 7 j
10 points 8 commentaires 255 étoiles
Preuves 3 / 4
- ✓ Testable iciLa démo tourne directement sur Oddsnack, sans rien installer.
- ✓ Code publicLe code est lisible sur GitHub (AxiomCodeAI/axiomcodegraph).
- ✓ En chantier depuis 52 joursLe dépôt existait 52 jours avant ce post : du travail suivi, pas un lancement monté en un week-end.
- – LicencePas de licence déclarée : réutilisation incertaine.
AxiomCodeAI/axiomcodegraph 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.
★ 255 · TypeScript · dernier commit il y a 3 j