io.github.aabxtract/koda
Verification and memory layer for coding-agent workflows.
Servidor MCP · de aabxtract
Resumo
io.github.aabxtract/koda é um servidor MCP publicado por aabxtract. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.
O que pede
- Roda na sua máquina
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Pacote
npm koda-verify (koda-verify no npm)
- Downloads do npm por semana: 50 (2026-10-13)
- Downloads do npm por mês: 204 (2026-10-13)
- Última versão no npm: 0.3.4, publicada em 2026-08-31
Nenhuma vulnerabilidade conhecida no OSV para 0.3.2 (verificado em 2026-10-13)
Os dados do npm vêm do registro público do npm (registry.npmjs.org, api.npmjs.org). Cada número é do próprio registro e nunca é somado a outro. Um registro que não publica um número não mostra nenhum: sem número não é zero. Os registros de vulnerabilidades vêm do OSV.dev (CC BY 4.0) e dizem respeito apenas à versão declarada; uma listagem sem versão declarada não recebe resposta. Não analisamos código.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote npm
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio koda -- npx -y koda-verify[mcp_servers.koda]
command = "npx"
args = ["-y", "koda-verify"]{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.3.2 | Downloads por mês (npm): 204 Downloads por semana (npm): 50 Forks (GitHub): 0 Estrelas (GitHub): 0 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
kage com.kage-core/kage
Verified memory for coding agents: claims cited against code, stale withheld, savings receipts.
-
codexa io.github.mirnoorata/codexa
Codex-native codebase intelligence context compiler and query-only MCP server.
-
Let Codex orchestrate external coding agents through their native harnesses.
-
ainative-opencode-memory-mcp io.github.AINative-Studio/ainative-opencode-memory-mcp
Persistent cross-session memory for OpenCode and MCP coding agents, powered by ZeroDB.
-
verirun io.github.baopeak/verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
-
jcodeharness-mcp com.clauxel.jcodeharness/jcodeharness-mcp
A paid remote MCP for OpenAI Codex harness MCP, built to return verdicts, receipts, usage logs, and
-
codex-mcp-bridge io.github.hampsterx/codex-mcp-bridge
Wraps Codex CLI as MCP tools: codex, review, query, search, structured, ping, listSessions.
-
codegworkspace-mcp com.clauxel.codegworkspace/codegworkspace-mcp
A paid remote MCP for CodeG, built to return verdicts, receipts, usage logs, and audit-ready JSON.
-
qodercli-mcp io.github.cantbeblank96/qodercli-mcp
MCP server mode for Qoder CLI — delegate coding tasks to local Qoder agents from any MCP client.
-
Verification videos for AI coding agents: record the run, upload over MCP, share a viewer link.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
Self-hosted GitHub MCP server. PAT auth, stdio transport, transport-agnostic so it works with…
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
Deep code indexing for AI agents. FTS5 + embeddings + call graphs + git intelligence. Fully local.
-
memex io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
Listado em Claude Code: claude-plugins-official (5)
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.
-
MCP server for AI coding agents to create, manage, and interact with Quarkus applications. Provides tools for project scaffolding, dev mode lifecycle, extension skills, Dev MCP…
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
Listado em Claude: knowledge-work-plugins (5)
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
MCP server for terminal commands, file operations, and process management
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
Listado em Codex: openai-curated (openai/plugins) (5)
-
Qodo setup, code intelligence, and review workflows.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Comprehensive skill for the entire Temporal lifecycle — developing applications, using the Temporal CLI, running and managing Temporal Server, and working with Temporal Cloud.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
Listado em Community GitHub marketplaces (5)
-
kage com.kage-core/kage
Verified memory for coding agents: claims cited against code, stale withheld, savings receipts.
-
bettermemory io.github.0Mattias/bettermemory
Memory for coding agents, checked against the filesystem and git before it is believed.
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
calm-mcp io.github.Eilodon/calm-mcp
MCP server giving coding agents a call-graph-aware, hash-verified view of a codebase, not grep.
-
forensic-deepdive io.github.Dhevenddra/forensic-deepdive
Persistent code knowledge graph + 9 composite MCP tools for AI coding agents.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Three-agent workflow for orchestrated software delivery with an orchestrator plus implementation and QA subagents.
-
foundry-hosted-agent-copilotkit
Build CopilotKit + AG-UI web apps on Microsoft Foundry hosted agents (Microsoft Agent Framework): wiring, native Foundry primitives, human-in-the-loop approvals, azd deploy, and…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
Listado em Cursor: cursor/plugins (5)
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Thermo-nuclear branch review: deep security/correctness audits, harsh code-quality rubrics, parallel subagents, thermos orchestration, and optional merge-ready PR flows.
Listado em Docker MCP Catalog (5)
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
Analyze code quality and security with SonarQube Server or Cloud directly in AI assistants.
-
testkube-mcp io.github.kubeshop/testkube-mcp
MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants
-
Official Arm MCP server for code migration, optimization, and Arm architecture guidance
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
Listado em Official MCP Registry (5)
-
kage com.kage-core/kage
Verified memory for coding agents: claims cited against code, stale withheld, savings receipts.
-
codexa io.github.mirnoorata/codexa
Codex-native codebase intelligence context compiler and query-only MCP server.
-
Let Codex orchestrate external coding agents through their native harnesses.
-
ainative-opencode-memory-mcp io.github.AINative-Studio/ainative-opencode-memory-mcp
Persistent cross-session memory for OpenCode and MCP coding agents, powered by ZeroDB.
-
verirun io.github.baopeak/verirun
Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.