Why Topos
Coding agents produce working code quickly. The harder question is whether the result is still easy to understand, safe to change, and well-fitted to the rest of the repository. Quality is the new currency.
Topos computes that signal from program structure—not from an LLM review or a style opinion—and returns concrete failure locations and next actions. It is fast enough to sit inside the agent loop: measure, edit, verify, repeat.
Tests check behavior. Topos checks whether the implementation is built to keep changing.
Grounded in category theory, written in Rust.
Install and Quick Start
One binary. Every supported agent harness. A clean way back out.
1. Install the CLI
Use the verified release installer:
curl -fsSL https://docs.krv.ai/topos/install.sh | bash
Or install with Homebrew:
brew install krv-labs/tap/topos
On Homebrew 6+, that fully qualified one-liner auto-taps and trusts only this formula. If you brew tap krv-labs/tap first, run brew trust --formula krv-labs/tap/topos before brew install topos.
[!TIP] Prefer an editor-managed install? In VS Code or Cursor, search
@mcp toposin the Extensions view or choose Install MCP server. This is an alternative totopos install: your editor installs and manages the Topos MCP server for you.
2. Connect your coding agents
topos install detects every supported MCP harness and lets you configure any—or all—of them from one interactive checklist:
topos install
┌ Which agent integrations do you want to configure?
│
│ ↑↓ move · space toggle · a all · enter confirm · esc cancel
│
│ ❯ ○ Claude Code (detected)
│ ○ Claude Desktop (detected)
│ ● Codex CLI (✓ active)
│ ● Gemini CLI (✓ active)
│ ○ GitHub Copilot CLI (detected)
│ ○ Cursor (detected)
│ ○ VS Code (detected)
│ ○ Google Antigravity (detected)
│ ○ pi (detected)
│ ○ OpenCode (detected)
└
Restart the agents you configured, then ask:
"Use Topos to find this repository's worst structural problem, make one focused improvement, and verify the result."
[!IMPORTANT] Too many tools spray MCP servers across agent JSON files, scatter symlinks around your machine, then leave you to burn half a Claude session untangling the mess—or pull your own hair out doing it. Topos does not play that game. We follow a leave-no-trace policy:
topos statusshows every registration, whiletopos uninstallopens the same selector, previews exactly what will change, and removes everything Topos installed. If Topos makes it easy to do, it should be just as easy to undo.topos status topos uninstall
See the agent setup guide for permissions, manual configuration, and troubleshooting.
3. Evaluate from the terminal
topos evaluate . -r
Topos discovers Python, Rust, JavaScript, TypeScript, C++, and Go automatically. Pass --language only when you want to narrow the run.
Reviewing a pull request instead? topos pr-recap 5 gives a structural before/after card for the PR's changed files — no LLM, fully reproducible.
See Installation for platform support and alternative install paths.
What Topos checks
Every file gets four independent verdicts:
- SIMPLE — avoids unnecessary complexity using AST entropy and control-flow complexity.
- COMPOSABLE — limits a file's outward dependency burden; broader coupling and stability metrics remain available for diagnosis.
- SECURE — avoids dangerous API reachability and taint paths in the code property graph.
- NAVIGABLE — stays shallow enough for an agent to read and change in one pass, using depth-weighted nesting divergence over the AST scope tree.
Those verdicts roll up into one memorable quality medal without hiding which pillar failed:
| Medal | Criteria |
|---|---|
| 🏆 PLATINUM | Passes all 4 |
| 🥇 GOLD | Passes 3 of 4 |
| 🥈 SILVER | Passes 2 of 4 |
| 🥉 BRONZE | Passes 1 of 4 |
| ❌ SLOP | Passes 0, or fails to parse |
See the full metrics reference. Refactor guidance also surfaces control-flow cycles, load-bearing dependency edges, and process bottlenecks.
The four pillars are pairwise incomparable and form a sixteen-element evaluation lattice (a 4-cube); PLATINUM is their intersection. Labels below abbreviate the pillars as Simple, Composable, Sc = Secure, Navigable. Measures · Category-theory foundations
Under the hood
Topos is a self-contained Rust CLI and MCP server. Analysis runs locally; your source code is not sent to an external model or hosted analysis service.
| Component | Role |
|---|---|
| tree-sitter | Parses six languages and powers the native AST, CFG, CPG, PDG, and UAST representations. |
| GitNexus | Supplies the repository dependency graph scored by COMPOSABLE (topos depgraph generate). Requires npm install -g [email protected]. |
| Sighthound | Embedded in the MCP server for supplementary security findings; native CPG probes remain the SECURE scoring source. |
The result is one agent-facing contract over several structural lenses: one score to optimize, explicit evidence for each failure, and a verification loop that can tell a real improvement from cosmetic churn.
More ways to use Topos
- OpenClaw / ClawHub:
openclaw skills install @Krv-Labs/topos - Hermes:
hermes skills tap add Krv-Labs/toposthenhermes skills install Krv-Labs/topos/topos - Agent Plugins: point a compatible client at
agent-plugin/(spec) - MCP Registry name:
io.github.Krv-Labs/topos - CLI reference: docs.krv.ai/topos/cli
Distribution
Topos ships four ways:
- GitHub Releases — the
toposCLI binary (macOS/Linux), viainstall.shor a direct release download. - PyPI —
topos-mcp, a thinbin-wheel bundling the MCP server binary (pip install topos-mcp/uvx topos-mcp), zero Python runtime. - VS Code Marketplace — the Topos extension, bundling platform binaries.
- Docker — a container image for Glama and other MCP-registry hosting.
Crate layout and adapter details: docs.krv.ai/topos/architecture.
Contributing
Topos is used internally at Krv Labs to manage AI-agent code output. We welcome bugs, ideas, and contributions.
- Bug? Open an issue
- Idea? Start a discussion or open a PR
- Collaborate? [email protected]
Full documentation · Measures and metrics · Engineering notes