原型 · 预览版:收录官方注册中心里的全部服务器,每 30 分钟同步一次。评价和账户功能将在后续阶段推出。
PopNx MCP为使用 AI 的人准备的 MCP 服务器 · 用大白话讲清楚

Koda

作者:aabxtract版本 0.3.2i★ –i在你的电脑上运行
注册名称io.github.aabxtract/koda

安装

概览

作者提供的说明(英文原文)

Verification and memory layer for coding-agent workflows.

PopNx MCP 的三大支柱

这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。

它能帮你做什么

我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。

  • 连接方式: 在你的电脑上运行
  • 传输方式: stdio
  • 分类: 搜索与 AI 记忆

安装

选择你使用的 AI 应用,然后复制设置。

安装之前

  • 基础检查:1 项中通过 1 项
  • 在你的电脑上运行,拥有你的用户账户的权限(文件、网络、应用)。
  • 注册中心没有列出需要填写的密钥。

你需要

  • npm已安装 Node.js(用于 npx 命令)

你用的是哪个应用?

在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。

打开 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 中打开

或者自己复制设置

粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json

{
  "mcpServers": {
    "koda": {
      "command": "npx",
      "args": [
        "-y",
        "koda-verify"
      ]
    }
  }
}

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

在 VS Code 中打开

或者自己复制设置

粘贴到项目中的 .vscode/mcp.json

{
  "servers": {
    "koda": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "koda-verify"
      ]
    }
  }
}

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。

你的选择通过 Cookie 保存在这台设备上,无需账户。

这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。

它能做什么

它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。

基础检查i

我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日

  • ✓ 通过

    作者与仓库一致

    注册名称已通过 GitHub 账户 aabxtract 验证,该账户拥有此仓库

  • … 尚未检查

    仍在维护

    我们还没有从 GitHub 读取这个仓库

  • … 尚未检查

    有许可证

    我们还没有从 GitHub 读取这个仓库

  • – 不适用

    端点有响应

    它在你的电脑上运行,没有互联网端点

  • – 不适用

    使用 OAuth 登录

    在你的电脑上运行,改用本地设置

  • … 尚未检查

    工具描述中没有隐藏指令

    它在你的电脑上运行;我们只能读取互联网端点的工具列表

与“搜索与 AI 记忆”中的其他服务器比较i

  • 星标数多于此分类中其他 7251 个服务器的 0%
  • 发布到注册中心的时间比此分类中其他 7251 个服务器的 35% 更新
  • 基础检查结果等于或优于此分类中其他 7251 个服务器的 100%

与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。

常见问题

Koda 安全吗?

它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。

它需要哪些密钥或代码?

注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。

它在我的电脑上运行还是在云端?

它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。

它还在维护吗?

GitHub 仓库最后更新于–,最新版本(0.3.2)于2个月前进入注册中心。

哪些应用可以使用它?

支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。

有什么可以替代它?

同一分类中有:Context7, Codebase Memory, Exa

替代选择

同一分类中其他作者的服务器,按星标数排序。

如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i

Context7

作者:upstash

Up-to-date docs for AI agents

电脑或云端★ 64,224MIT今天更新
安装

Codebase Memory

作者:DeusData

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

在你的电脑上运行★ 48,148MIT20天前更新
安装

Exa

作者:exa-labs

Connect AI agents to Exa for web search, content fetching, and multi-step research.

在云端运行★ 5,213MIT上个月更新
安装

作者的 README

打开 README

按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。

Koda

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.


npmnpm install -g koda-verify (npmjs.com)
IDEOpen VSX — works in VS Code, Cursor, Windsurf, VSCodium
MCPRegistry
Landingaabxtract.github.io/koda

Why Koda exists

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.

The three surfaces

SurfaceResponsibilityActivation
Core + CLIVerification, reports, memory, git hooks, CI generationkoda init, koda run
MCP serverAgents call koda_verify / koda_report / koda_memory / koda_setup_cicdMCP client configuration
IDE extensionAmbient status bar, report viewer, one-click enable, Git watchingUser clicks Enable

How it works — the pipeline

git commit

│ ▼ pre-commit ── secret guard (blocks committed API keys / private keys) │ ▼ post-commit ── koda run (background, never blocks you) │ ▼

  1. Read diff ──────────── classify files: api / page / component / lib / config / test
  2. Impact analysis ────── agent-supplied (MCP) → Groq fallback → deterministic heuristics
  3. Kane browser flows ─── headless, scoped to changed UI only (page/component changes)
  4. Endpoint checks ────── GET / HEAD / OPTIONS only; regressions flagged (200 → 500)
  5. Integration tests ──── Jest / Vitest / Mocha / node:test, matched to changed files
  6. Report ─────────────── JSON (agent-readable) + Markdown (human-readable)
  7. Memory ─────────────── recurring patterns, resolution history, time-to-fix

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.


Quick start

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.

One-time browser setup (optional, per user)

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

About Kane accounts — yours, not ours

Koda ships zero credentials. Every Koda user authenticates their own Kane account:

  • The extension's OAuth flow opens the Kane login in *your* browser; new users register there
  • Your session lives locally in ~/.testmuai/ on your machine — never synced, never proxied
  • Browser-flow credits come from *your* Kane account, not the developer's
  • In CI, each repo configures its own KANE_USERNAME / KODA_ACCESS_KEY-style secrets

No 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.


Target URLs — localhost, LAN, or hosted

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.

CLI reference

CommandWhat 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 reportShow the latest report
koda memoryDump 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 mcpStart the MCP server (stdio)

Agent integration (MCP)

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.

MCP tools
ToolPurpose
koda_verifyRun 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_reportLatest full JSON report — verdicts, coverage, evidence paths
koda_memoryProject memory — recurring failures, fix confidence, time-to-fix
koda_setup_cicdGenerate a validated GitHub Actions workflow
The agent loop
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.


Reports

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/.

Memory — remembers what keeps breaking

  • Every failed check gets a stable key; failures that recur 2+ times become patterns
  • When a fix lands and the check passes, the failure is marked resolved with time_to_fix_ms
  • Coverage-gap findings ("no tests cover app/page.js") resolve automatically once a passing test covers those files
  • Skipped checks (app offline) never pollute memory
  • Writes are atomic; corrupt memory files are quarantined, not deleted

Safety guarantees

  • Non-destructive hooks — existing pre-commit/post-commit/pre-push hooks are backed up before appending; Husky respected; idempotent via marker
  • Read-only HTTP by default — only GET / HEAD / OPTIONS; mutating methods require explicit opt-in (allow_mutating_methods: true) plus agent-declared endpoints
  • Honest results — if the app is down, checks are SKIPPED, never reported as failures; skipped checks never enter memory
  • No secrets shipped — the package contains zero credentials; the pre-commit guard blocks accidentally committed keys

CI/CD

koda 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.


Configuration reference (.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 } }

Environment variables

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=

Development

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.

License

MIT

问 PopNx