← 최신 프로덕트

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.

오픈소스

414 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  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점

  2. Stagewise

    stagewise.io

    frontend coding agent for real codebases

    Hacker News42점

  3. MyCoder

    github.com

    an open source Claude-Code alternative

    Hacker News125점

  4. Implement-spec

    github.com

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

    Hacker News12점

  5. Am-I-vibing

    github.com

    detect agentic coding environments

    Hacker News60점