Show HN: AxiomCode Graph uses formal methods to cut coding agent rework
HaoleiZ · hn · 2026-10-15
A new open-source project, AxiomCode Graph, applies formal methods to coding agents: it builds a graph representation of the codebase and formally verifies changes before execution, aiming to catch inconsistencies early and reduce the rework loops that plague autonomous coding agents.
The repo (AxiomCodeAI/axiomcodegraph) is live on GitHub, with a Show HN discussion worth following for how the approach holds up in practice.
More from coding & agent
- Garry Tan endorses Aside Browser as the fix for agents getting blocked on the web — garrytan · 2026-10-23
- MCP server turned rogue 30 days after approval, prompting open-source mcp-guard lockfile tool — ErgoniaWorks · 2026-10-23
- Test: Coding Agents Won't Use an MCP Tool Unless AGENTS.md Mentions It — colinmcnamara · 2026-10-23
- Open-Source Tennis Models Plus Claude Turn Video Into a World-Class Coach — tweetsatpreet · 2026-10-23
- awesome-ai-apps: 132 Free Open-Source AI Agent and RAG Projects on GitHub — Arindam_1729 · 2026-10-23
- Google's Agents CLI Adds Extension System, Ships First-Party LangChain Support — rseroter · 2026-10-23