Verification and memory layer for coding-agent workflows.
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
π‘ Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Verification and memory for coding-agent workflows. Install once, verify the changes that matter, remember what keeps breaking.
1,000+ downloads on Open VSX β Koda is already watching commits in editors around the world.
| npm | npm install -g koda-verify (npmjs.com) |
| IDE | Open VSX β works in VS Code, Cursor, Windsurf, VSCodium |
| MCP | Registry |
| Landing | aabxtract.github.io/koda |
Coding agents write features in minutes β but who verifies every commit? Full test suites are too slow to run per commit, so most verification happens late (or never). Koda closes that gap: on every commit it verifies only what changed, in seconds-to-minutes, and remembers what keeps breaking so your agent stops reintroducing old bugs.
Koda never writes code. It orchestrates verification, remembers patterns, and reports β to both the human and the agent.
| Surface | Responsibility | Activation |
|---|---|---|
| Core + CLI | Verification, reports, memory, git hooks, CI generation | koda init, koda run |
| MCP server | Agents call koda_verify / koda_report / koda_memory / koda_setup_cicd | MCP client configuration |
| IDE extension | Ambient status bar, report viewer, one-click enable, Git watching | User clicks Enable |
Most commits never launch a browser: API/config/test-only changes verify with endpoints + tests in seconds. Browser flows fire only when UI files change.
Then just keep committing β verification runs in the background on every commit.
Browser flows are powered by the Kane CLI. The IDE extension onboards it for you: click Enable and Koda offers to install Kane and connect your account. Or do it manually:
Koda ships zero credentials. Every Koda user authenticates their own Kane account:
~/.testmuai/ on your machine β never synced, never proxiedKANE_USERNAME / KODA_ACCESS_KEY-style secretsNo Kane? No problem. Koda runs in degraded mode: endpoint checks, integration tests, memory, and reports all work; browser flows are honestly marked SKIPPED β never faked.
Koda verifies whatever your app points at. The default is auto-detected at koda init (probes common dev ports: 3000, 5173, 8080, 8000, 4200, 5000β¦). Override it three ways:
Precedence: --target flag β KODA_TARGET env β .koda/config.json β auto-detected default.
| Command | What it does |
|---|---|
koda init [--force] | Create .koda/, install non-destructive git hooks, detect target |
koda run [--project <path>] [--commit <sha>] [--target <url>] [--max-flows <n>] | Verify a commit now |
koda report | Show the latest report |
koda memory | Dump project memory (patterns, history, fixes) |
koda target <url> | Validate, save, and health-check a new target URL |
koda cicd [--force] | Generate a validated GitHub Actions workflow (refuses overwrite) |
koda doctor [--kane] | Environment check; --kane empirically probes the Kane schema |
koda mcp | Start the MCP server (stdio) |
Works with any MCP client: Claude Code, Cursor, Codex, Gemini CLI, Windsurf, Zed. In a development checkout: claude mcp add koda node /absolute/path/to/koda/mcp/server.js.
| Tool | Purpose |
|---|---|
koda_verify | Run focused verification. The agent supplies its own impact analysis (flows, endpoints, target, commit, max_flows) β it already read your code, so no LLM cost and no guessing. Groq is only a fallback for non-MCP runs |
koda_report | Latest full JSON report β verdicts, coverage, evidence paths |
koda_memory | Project memory β recurring failures, fix confidence, time-to-fix |
koda_setup_cicd | Generate a validated GitHub Actions workflow |
Reports record analysis_source: 'agent' when the agent supplied flows β verifiable proof the loop is agent-driven.
Every run writes a timestamped pair to .koda/reports/:
The JSON includes: commit metadata, analysis_source (agent / llm-fallback / fallback), risk level, per-check results with evidence file paths, memory context (similar failures, patterns, fix confidence), and action_required with priority and suggested focus. Markdown renders PASS / FAIL / SKIPPED distinctly with coverage status.
Raw Kane session events are preserved per-flow under .koda/evidence/.
time_to_fix_msapp/page.js") resolve automatically once a passing test covers those filesallow_mutating_methods: true) plus agent-declared endpointsSKIPPED, never reported as failures; skipped checks never enter memoryGenerates .github/workflows/koda.yml from a validated template: Node setup, npm ci, build-if-present, Kane CLI install + auth via GitHub secrets (KANE_USERNAME, KANE_ACCESS_KEY), app start, wait-on target, koda run --commit ${{ github.sha }}. Template-first β no LLM-generated YAML. Refuses to overwrite without --force.
.koda/config.json)Optional β Koda works without any of these. Loaded from the project .env, falling back to ~/.koda/.env (configure once, use everywhere):
No reviews yet β be the first to share how this listing worked for you.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/koda)<a href="https://allmcps.com/mcp/koda"><img src="https://allmcps.com/api/badge/koda?style=directory" alt="Koda on AllMCPs" /></a>