DevTrendsDeveloper trends
Accent color

axiomcodeai /

axiomcodegraph

LanguageTypeScriptDTSoftware developmentDTAgent extensionDTMCP serviceDTSkill / pluginDTCodexDTCursorOriginalai-agentsOriginalai-skillsOriginalantigravityOriginalastOriginalchange-impact-analysisOriginalclaude-code
GitHub ↗Website ↗Source ↗

About

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.

Discovery history

  1. Show HN

    Oct 15, 2026 · 1 observations

Discuss this product