← Latest products

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.

Open source

414 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Open-source model routing for coding agents at Astra-level performance

    news.ycombinator.com

    A few months ago we started building a model router for coding agents because we thought we could outperform any single model with an ensemble approach.

    Hacker News123 pts

  2. Stagewise

    stagewise.io

    frontend coding agent for real codebases

    Hacker News42 pts

  3. MyCoder

    github.com

    an open source Claude-Code alternative

    Hacker News125 pts

  4. Implement-spec

    github.com

    a harness-agnostic spec-to-verified-PR agent skill

    Hacker News12 pts

  5. Am-I-vibing

    github.com

    detect agentic coding environments

    Hacker News60 pts