Topos— agent skill

<p align="center"> <picture> <source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/Krv-Labs/topos/main/docs/source/_static/topos-logo-dark.svg"> <source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/Krv-Labs/topos/main/topos-logo.svg"> <img src="https://raw.githubusercontent.com/Krv-Labs/topos/main/topos-logo.svg" alt="Topos" width="400"> </picture> </p>

Structural code quality metrics for agent-written programs.

<!-- mcp-name: io.github.Krv-Labs/topos -->

Topos gives you structural code quality metrics your agents can act on. Passing unit tests proves your code works, but Topos proves it's built to last. It measures program structure — not just syntax — giving agents concrete metrics to optimize toward on every pass. You set the target; agents handle the iteration.

The Quality Pillars

Topos evaluates code along three independent pillars:

• SIMPLE — Avoids unnecessary complexity (AST entropy & CFG cyclomatic complexity).
• COMPOSABLE — Cleanly decoupled from other modules (MDG Martin instability via GitNexus).
• SECURE — Free of dangerous API reachability and taint paths (CPG analysis).

The Medal Podium

Topos checks all three pillars and awards a Code Quality Medal based on how many pass:

Set your Preferences (e.g., simple,composable,secure) to tell your coding agent which pillars to prioritize when aiming for Gold under token and time budgets.

Quick Start

#### Install

curl -fsSL https://docs.krv.ai/topos/install.sh | sh
topos --version          # verify it's on your PATH
topos --help             # full command list — every command also takes -h / --help

#### Evaluate code — the 60-second tour

topos evaluate path/to/file.py     # one file → quality medal + the metrics behind it
topos evaluate src/ -r             # every file under a directory, recursively
topos evaluate src/ -r --json      # same, machine-readable (pipe to jq, CI, etc.)
topos inspect path/to/file.py      # deep dive: per-function complexity, AST entropy, all raw metrics
topos compare before.py after.py   # AST edit distance between two versions of a file

#### Review a whole repo or module

Point evaluate at a directory with -r for a ranked, actionable digest instead of a per-file wall:

topos evaluate src/ -r              # the whole repo
topos evaluate src/mypackage -r     # one module / sub-package

The summary surfaces, in order:

• Pillars — per-pillar PASS/FAIL with average & minimum scores across all files.
• Directory Floor Verdict — the worst verdict any single file drags the codebase down to (the pointwise lattice meet).
• Needs attention — the lowest-scoring files (where quality is worst).
• Lowest-hanging fruit — the files closest to flipping a failing pillar, each with the concrete fix. Start here for the cheapest wins:

Lowest-hanging fruit
  Smallest improvement that flips a failing pillar.
  1.  src/mypackage/__init__.py
      simple 59% → 60% (+1 pts)
  2.  src/mypackage/util.py
      simple 55% → 60% (+5 pts)
      ↳ Extract helper functions to cut branching (cyclomatic 21 > 15).

Add --json for a machine-readable rollup, or -v to expand every file's raw metrics.

#### Score COMPOSABLE — add a dependency graph

COMPOSABLE measures how cleanly a module is decoupled, which needs a cross-file dependency graph. Topos reads one from a .gitnexus/ directory produced by GitNexus. Without it, SIMPLE and SECURE still run — but any medal containing COMPOSABLE (including 🥇 GOLD) is unreachable.

npm install -g gitnexus                            # one-time, per machine
topos depgraph generate                            # writes ./.gitnexus/ for the current repo
topos evaluate src/ -r --gitnexus-dir .gitnexus    # COMPOSABLE (and GOLD) now scored

The CLI does not auto-detect .gitnexus/ — pass --gitnexus-dir explicitly. Regenerate after imports change (new modules, renames, restructures). (The `topos mcp` server, by contrast, auto-detects `./.gitnexus`.)

#### Measure test coverage — structural + semantic

--tests takes your test files (repeat the flag for several); the positional arguments are the program-under-test files.

# one test file covering one module
topos coverage --tests tests/test_foo.py topos/foo.py

# several of each
topos coverage --tests tests/test_a.py --tests tests/test_b.py src/a.py src/b.py

# stricter gate + JSON, e.g. for CI
topos coverage --tests tests/test_foo.py topos/foo.py --coverage-threshold 0.8 --json

Reports UAST declaration coverage (structural) plus topological ECT coverage (semantic — does the suite exercise the same code shapes, not just the same names?). ECT is an optional extra: pip install 'topos[ect-coverage]'.

#### Steer the verdict

topos evaluate src/ -r --preferences simple,composable,secure   # rank pillars for your agent to target
topos evaluate app.py --allow yaml.load                         # acknowledge a known-risky call (caps grade below GOLD)
topos evaluate src/ -r --language typescript                    # python (default) · typescript · javascript · rust · cpp

MCP Server

Give any MCP-compatible agent — Claude Code, Cursor, Gemini CLI, Windsurf — a live feed of Topos verdicts so it can evaluate and iterate on its own output.

<details> <summary><b>Set up <code>topos mcp</code> in your agent</b></summary>

&nbsp;

#### Step 1 — Build the dependency graph (optional but recommended)

_⚠️ Recommended:_ Without a dependency graph, Topos cannot score COMPOSABLE — any verdict containing it (including IDEAL) is unreachable. SIMPLE and SECURE always run.

>

``bash npm install -g gitnexus # one-time per machine cd /path/to/your/repo topos depgraph generate # one-time per repo; writes .gitnexus/ ``

>

Re-run when imports change (new modules, renames, restructures). The cache keys on .gitnexus/ mtime and invalidates itself.

_💡 Tip:_ Verify the binary before wiring it into editors:

>

``bash topos mcp # prints the FastMCP banner and waits on stdin. Ctrl-C to exit. ``

#### Step 2 — Register with your agent

Run from your project root — Topos auto-detects its file-access root by walking up for .git or pyproject.toml.

##### Claude Code

claude mcp add topos topos mcp

##### Gemini CLI

gemini mcp add topos topos mcp

##### Cursor

<a href="cursor://anysphere.cursor-deeplink/mcp/install?name=topos&config=eyJjb21tYW5kIjogInRvcG9zIG1jcCJ9">➕ Install `topos` in Cursor</a>

Or edit .cursor/mcp.json:

{ "mcpServers": { "topos": { "command": "topos mcp" } } }

##### Windsurf and everything else

{ "mcpServers": { "topos": { "command": "topos mcp" } } }

#### Step 3 — Launch from the project root

:warning: IMPORTANT Topos refuses to read files outside a trusted root. If you must launch from elsewhere, set it explicitly:

>

``json { "command": "topos mcp", "env": { "TOPOS_MCP_FILE_ROOT": "/absolute/path/to/repo" } } ``

*:bulb: TIP* On the agent's first turn, point it at the workflow doc:

>

> "Fetch topos://docs/workflows and follow the Topos refactor loop."

>

Or invoke the prompt directly: topos_refactor_until_ideal(filepath="path/to/file.py").

#### Smoke test

"Use topos to find the worst-scoring file in src/, propose a refactor, and verify with topos_assess_improvement."

A healthy response shows {simple: 72%, composable: 65%, secure: 95%} when GitNexus is configured. If the response is missing composable, go back to Step 1.

</details>

How it works

Topos measures code along the three independent quality generators and maps them to an 8-element evaluation lattice:

• SIMPLE — Built from the abstract syntax tree (AST) and control-flow graph (CFG). We calculate cyclomatic complexity of the CFG and entropy of the AST to assess complexity.
• COMPOSABLE — Built from the module dependency graph (MDG) using GitNexus, to capture inter-module dependencies. This is slightly different than the usual program dependence graph (PDG) which is used to capture intra-function dependencies. We calculate Martin Instability and Fanning metrics for the MDG to assess coupling.
• SECURE — Built from the code property graph (CPG). We calculate dangerous-API reachability and taint paths from the CPG to assess security.

graph BT
    SLOP["❌ SLOP<br/>No Medal"]
    SIMPLE["🥉 BRONZE<br/>Simple"]
    COMPOSABLE["🥉 BRONZE<br/>Composable"]
    SECURE["🥉 BRONZE<br/>Secure"]
    SC["🥈 SILVER<br/>S ∧ C"]
    SSc["🥈 SILVER<br/>S ∧ Sc"]
    CSc["🥈 SILVER<br/>C ∧ Sc"]
    IDEAL["🥇 GOLD<br/>Quality Code"]

    SLOP --> SIMPLE
    SLOP --> COMPOSABLE
    SLOP --> SECURE
    SIMPLE --> SC
    SIMPLE --> SSc
    COMPOSABLE --> SC
    COMPOSABLE --> CSc
    SECURE --> SSc
    SECURE --> CSc
    SC --> IDEAL
    SSc --> IDEAL
    CSc --> IDEAL

    style SLOP       fill:#f8d7da,stroke:#842029,color:#000
    style SIMPLE     fill:#cd7f32,stroke:#5c3a1e,color:#fff
    style COMPOSABLE fill:#cd7f32,stroke:#5c3a1e,color:#fff
    style SECURE     fill:#cd7f32,stroke:#5c3a1e,color:#fff
    style SC         fill:#c0c0c0,stroke:#4a4a4a,color:#000
    style SSc        fill:#c0c0c0,stroke:#4a4a4a,color:#000
    style CSc        fill:#c0c0c0,stroke:#4a4a4a,color:#000
    style IDEAL      fill:#ffd700,stroke:#856404,color:#000

[!TIP] Three Independent Pillars: SIMPLE, COMPOSABLE, and SECURE are pairwise incomparable. A file can achieve any subset of {S, C, Sc} independently. 🥇 GOLD is the intersection of all three.

#### Manager Priorities & Agent Iteration

In a perfect world, every file would earn a 🥇 GOLD medal. In reality, managers and developers have a finite budget of time and tokens.

Topos allows you to set Preferences — an ordering of these medals based on your immediate priorities. Coding agents use this ranking to aim for 🥇 GOLD. If achieving 🥇 GOLD isn't feasible within the budget, the preference ranking tells the agent exactly how to relax its goals, ensuring it still delivers the highest possible quality medal aligned with your priorities.

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 & Metrics · Category Theory Concepts

_Built with ❤️ by Krv Labs_