Axiomcodegraph plugin for Codex

Name: Axiomcodegraph
Author: AxiomCodeAI

CommunityPluginDeveloper Tools

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.

How to install Axiomcodegraph in Codex

✓ Install-checked in Codexchecked Oct 29, 2026 · 1 skill, 9 hooks, 5 MCP tools proof

1. Add the repo as a Codex plugin marketplace:

codex plugin marketplace add AxiomCodeAI/axiomcodegraph

2. Install the plugin from it:

codex plugin add axiomcode@axiomcode

This repo ships a Codex marketplace file (.agents/plugins/marketplace.json). The first command adds it as a marketplace (Codex CLI reference); the second installs the plugin 'axiomcode'. 'axiomcode' is the marketplace name from that file. Check the repo README too. Command format: Codex CLI reference.

What it contains

Plugins in this marketplace (1)

axiomcode — Ask your repository how its code connects: who calls this, what breaks if I change it, which tests an edit reaches, how A reaches B. Answers come from a resolved call graph and are verified against it; nothing is guessed.

About this listing

Axiomcodegraph is a community plugin on GitHub by AxiomCodeAI. Its README documents a Codex install and the repo ships a Codex plugin manifest. It passed the CodexStacks quality filter for repos found this way (at least 100 stars, pushed in the last 90 days, not a fork or a list). OpenAI hasn't reviewed it, but it passed our Codex install check on Oct 29, 2026 (an install and load check, not a code review). From its files we found 1 plugin. It's one of 441 listings in the Developer Tools category.

Axiomcodegraph FAQ

How do I install Axiomcodegraph in Codex?

Add the repo as a Codex plugin marketplace with codex plugin marketplace add AxiomCodeAI/axiomcodegraph, then install it with codex plugin add axiomcode@axiomcode. Commands: the command format from the Codex CLI reference; check the repo README too.

Is Axiomcodegraph an official Codex plugin?

No. Axiomcodegraph is a community repo on GitHub by AxiomCodeAI. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it, but it passed our Codex install check on Oct 29, 2026 (an install and load check, not a code review), so read the code before you install it.

What does Axiomcodegraph include?

From its manifest and repo files, Axiomcodegraph includes 1 plugin: axiomcode.

Details

Type: Plugin
Category: Developer Tools
Source: Community
Author: AxiomCodeAI
GitHub stars: 358 (at last sync)
Last push: 2026-10-29
Manifest: .agents/plugins/marketplace.json
GitHub topics: ai-agents, ai-skills, antigravity, ast, change-impact-analysis, claude-code, code-analysis, code-search, codegraph, cursor, formal-methods, gemini
Source: https://github.com/AxiomCodeAI/axiomcodegraph
Website: https://www.axiomcode.ai
Listed via: GitHub search: README documents a Codex install
Install check by CodexStacks: Passed on Oct 29, 2026 with Codex CLI 0.163.0: Codex started its MCP server and listed its tools. proof · how we check

Something wrong or missing? Submit or improve this listing. Listings also refresh automatically every night.

For maintainers: badge and embeds

Maintain Axiomcodegraph? Add the badge; it links to this page.

Markdown

[![Listed on CodexStacks](https://codexstacks.com/badge.svg)](https://codexstacks.com/p/axiomcodegraph/)

HTML

<a href="https://codexstacks.com/p/axiomcodegraph/"><img src="https://codexstacks.com/badge.svg" alt="Listed on CodexStacks" width="172" height="28"></a>

Embed card (static HTML and inline CSS, no JavaScript). Preview:

AxiomcodegraphCommunity Codex plugin · 1 pluginTurn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any…View on CodexStacks →

<a href="https://codexstacks.com/p/axiomcodegraph/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #3a2c26;border-radius:12px;background:#0d0b0a;color:#f3ece6;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#f3ece6">Axiomcodegraph</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin · 1 plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any…</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>

Markdown summary

**[Axiomcodegraph on CodexStacks](https://codexstacks.com/p/axiomcodegraph/)**: Community Codex plugin with 1 plugin.

More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.

Also in Developer Tools

Rea

Reverse engineer anything with agents, from app behavior down to native binaries.

CommunityPluginDeveloper Tools

Skills (mattpocock)

Skills for Real Engineers. Straight from my .agents directory.

CommunitySkillDeveloper Tools

Agents

Multi-harness agentic plugin marketplace for Claude Code, Codex, Cursor, OpenCode, GitHub Copilot, Google Antigravity, and Pi

CommunityPluginDeveloper Tools

Playwright MCP

Playwright MCP server

CommunityConnectorDeveloper Tools

Nuwa Skill

你想蒸馏的下一个员工，何必是同事。蒸馏任何人的思维方式——心智模型、决策启发式、表达DNA。Distill how anyone thinks.

CommunitySkillDeveloper Tools

Oh My Codex

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

CommunityPluginDeveloper Tools

All 441 developer tools listings →