Context7
Up-to-date docs for AI agents
Descripción del creador (original en inglés)
Verification and memory layer for coding-agent workflows.
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
Necesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Abre Claude Desktop → Settings → Developer → Edit Config y pega esto en claude_desktop_config.json
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Ejecuta esto en tu terminal
claude mcp add koda -- npx -y koda-verifyPégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"koda": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Este se ejecuta en tu computadora, y ChatGPT solo puede conectarse a servidores en internet. Elige otra app.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
Esta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 6 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub aabxtract, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (0.3.2) llegó al registro hace 2 meses.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Node.js en tu computadora.
En la misma categoría: Context7, Codebase Memory, Exa
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
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.
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
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