1. Conduid
  2. RAG
  3. Axiomcodegraph
MCP server · RAG

Axiomcodegraph

by · github.com/AxiomCodeAI/axiomcodegraph

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.

Unclaimed ai-agentsai-skillsantigravityastchange-impact-analysisclaude-codecode-analysiscode-searchcodegraphcodexcursorformal-methodsgeminiknowledge-graphmcptoken-optimizationtree-sitterverification-code
InstallView source
39Low

Scored 13 days ago · breakdown

About Axiomcodegraph

Axiomcodegraph is an MCP server published by AxiomCodeAI in the RAG category: 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.

The repository has 13 stars and 0 forks, with the last commit 6 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/AxiomCodeAI/axiomcodegraph

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Axiomcodegraph

Powered by Claude · Grounded in docs

I know everything about Axiomcodegraph. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

v0.1.9v0.1.9 · 11 Oct 2026Highlights 1925 engines: every platform ships **parallel** engines (OpenMP, fixed `-j 8`). Linux, macOS (Apple Silicon and Intel), and Windows; output is identical to a serial solve, validated on clean installs. Large solves 2–2.5x faster…
v0.1.8v0.1.8 · 29 Sep 2026Improvements 1743 vue: Vue single-file components are indexed. A tag in a .vue template reaches the component it names, a Vue JSX tag reaches the setup or render function of its defineComponent, and the `<script>` blocks of .vue, .svelte…
v0.1.7v0.1.7 · 29 Sep 2026Improvements 1293 typescript: a fetch or axios call is linked to the HTTP route it reaches (literal, template, constant or config path; the verb must match), and context lists these remote hops separately — typescript 1699 impact, path,…
v0.1.6v0.1.6 · 28 Sep 2026Improvements 1392 #1396 #1414 java: Spring Boot registrations create beans, and impact names who registers each bean and who is injected with it java 1391 java: a published Spring application event reaches the listeners whose type fits it…
v0.1.4v0.1.4 · 28 Sep 2026Improvements 1382 #1455 #1493 #1494 #1571 context: the answer addresses the question that was asked context 1594 #1595 refresh: a query answers at once from the last graph and marks rows that may be stale, instead of waiting for a rebuild…
Questions

About Axiomcodegraph

How do I install Axiomcodegraph?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Axiomcodegraph safe to use with an AI agent?

Its trust score is 39 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Axiomcodegraph still maintained?

Yes — the latest release is v0.1.9 (11 Oct 2026), and the last commit was 6 days ago. The repository has 13 stars.