axiomcodeai/axiomcodegraph

axiomcodeai/axiomcodegraph의 최신 커밋은 README 헤드라인 한 줄을 교체해, 어떤 변경이 무엇을 깨뜨리는지를 아는 것이 목표라는 점을 더 강하게 Putting 설명.

GitHub 설명: 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.

스타

★ 300

포크

25

언어

TypeScript

라이선스

NOASSERTION

최신 릴리스

v0.2.0