Context7
Up-to-date docs for AI agents
作者による説明(英語の原文)
Verification and memory layer for coding-agent workflows.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}ターミナルでこれを実行します
claude mcp add koda -- npx -y koda-verifyプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"koda": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント aabxtract で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.3.2)がレジストリに届いたのは2 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。
同じカテゴリには:Context7, Codebase Memory, Exa
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
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.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
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