Context7
Up-to-date docs for AI agents
Beschreibung vom Entwickler (englisches Original)
Verification and memory layer for coding-agent workflows.
Diese drei werden nie zu einer Punktzahl zusammengefasst: Meinungen, Messungen und Beliebtheit sind verschiedene Dinge.
Für diesen Server haben wir noch keine Zusammenfassung in einfacher Sprache geschrieben. Unten stehen die Fakten, die wir aus der Registry gelesen haben.
Wähle die KI-App, die du nutzt, und kopiere die Einstellungen.
Du brauchst
Welche App nutzt du?
Wähle oben deine App. Wir merken sie uns, damit der Button beim nächsten Mal „In … installieren“ anzeigt.
Öffne Claude Desktop → Settings → Developer → Edit Config und füge dies in claude_desktop_config.json ein
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Führe das in deinem Terminal aus
claude mcp add koda -- npx -y koda-verifyIn .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
In .vscode/mcp.json in deinem Projekt einfügen
{
"servers": {
"koda": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
Dieser Server läuft auf deinem Computer, und ChatGPT kann sich nur mit Servern im Internet verbinden. Wähle eine andere App.
Deine Auswahl bleibt in einem Cookie auf diesem Gerät; kein Konto nötig.
Diese Einstellungen werden aus dem Registry-Eintrag des Entwicklers erzeugt. Wenn in der README etwas anderes steht, folge der README.
Läuft auf deinem Computer; die Tool-Liste erscheint nach der Installation in deiner KI-App.
Wir prüfen Informationen, die jeder sehen kann; den Code haben wir nicht gelesen. Checks, die nicht zutreffen, werden nicht mitgezählt. · Geprüft am 7. Nov. 2026
Der Registry-Name wurde mit dem GitHub-Konto aabxtract bestätigt, dem das Repo gehört
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieser Server läuft auf deinem Computer; es gibt keinen Endpunkt im Internet
Läuft auf deinem Computer und nutzt stattdessen lokale Einstellungen
Läuft auf deinem Computer; Tool-Listen können wir nur von Endpunkten im Internet lesen
Verglichen mit allen aktiven Servern dieser Kategorie in der Registry. Sterne zählen nur, wenn dem Herausgeber das Repo gehört.
Er hat 1 von 1 zutreffenden Basischecks bestanden. Den Code haben wir nicht gelesen. Bevor du einen Schlüssel oder Token hinzufügst, sieh nach, welche Zugriffe der Server verlangt, und nutze einen Schlüssel, der nur die Berechtigungen hat, die du brauchst.
Die Registry nennt keinen erforderlichen Schlüssel, manche Server bitten dich aber bei der ersten Nutzung, dich anzumelden.
Er läuft auf deinem Computer. Deine KI-App startet ihn bei Bedarf, und die Daten laufen nicht über die Server des Entwicklers (außer der Server ruft selbst einen Onlinedienst auf).
Das GitHub-Repo wurde zuletzt – geändert, und die neueste Version (0.3.2) kam vor 2 Monaten in die Registry.
Apps, die MCP unterstützen, etwa Claude Desktop, Claude Code, Cursor und VS Code. Außerdem brauchst du Node.js auf deinem Computer.
In derselben Kategorie: Context7, Codebase Memory, Exa
Server derselben Kategorie von anderen Entwicklern, sortiert nach Sternen.
So liest du eine Karte:★ GitHub-SterneiDrei Säulen: Bewertungen · Checks · NutzungiAktualisiert = neueste Version in der Registry veröffentlichti
Up-to-date docs for AI agents
Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
Connect AI agents to Exa for web search, content fetching, and multi-step research.
Unverändert aus dem Repo des Entwicklers übernommen. PopNx MCP hat den Inhalt weder geprüft noch empfiehlt es ihn. HTML, Bilder und Skripte wurden entfernt. Links führen von dieser Website weg.
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 |
git commit
│ ▼ pre-commit ── secret guard (blocks committed API keys / private keys) │ ▼ post-commit ── koda run (background, never blocks you) │ ▼
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.
npm install -g koda-verify
cd your-project koda init # creates .koda/, installs git hooks, detects your app's port koda doctor # verifies: git, config, Kane CLI, target URL, directories
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:
npm install -g @testmuai/kane-cli
kane-cli login --oauth # opens your browser — use (or create) YOUR OWN Kane account
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:
koda target https://myapp.vercel.app # permanent — hosted URL, https auto-detected
koda target 192.168.1.5:8080 # LAN IP, http auto-detected koda run --target https://preview-123.example.com # one-off run KODA_TARGET=https://staging.example.com # per-session / CI via env
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 ] [--commit ] [--target ] [--max-flows ] | Verify a commit now |
koda report | Show the latest report |
koda memory | Dump project memory (patterns, history, fixes) |
koda target | 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) |
claude mcp add koda -- npx koda-verify mcp
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 |
agent edits code → commits → hook fires koda run → report written
→ agent calls koda_verify (its own flows) / koda_report via MCP → reads the verdict → fixes what failed → commits again → memory marks the failure RESOLVED (with time-to-fix recorded)
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/:
.koda/reports/2026-08-30T14-35-28-909Z-9416b29.json ← agent-readable
.koda/reports/2026-08-30T14-35-28-909Z-9416b29.md ← human-readable
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 memorykoda cicd
Generates .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){
"kane": { "target": "http://localhost:3000", "headless": true, "max_steps": 30, "timeout_ms": 300000 }, "tests": { "browser_flows": true, "endpoint_tests": true, "integration_tests": true, "allow_mutating_methods": false, "expected_statuses": { "GET /api/health": [200] } }, "notify": { "telegram": false, "discord": false } }
Optional — Koda works without any of these. Loaded from the project .env, falling back to ~/.koda/.env (configure once, use everywhere):
GROQ_API_KEY= # Groq fallback impact analysis (agent runs skip this entirely)
KODA_TARGET= # override target URL (flag > env > config) KODA_TEST_TOKEN= # bearer token for authenticated endpoint checks KODA_PROJECT= # default project path for CLI/MCP TELEGRAM_BOT_TOKEN= # notifications TELEGRAM_CHAT_ID= DISCORD_WEBHOOK_URL=
npm install
npm run check # syntax-check all sources npm test # node:test suite npm link # local koda binary for development
See koda-v3-build-guide.md for the full implementation contract.
MIT