Koda runs on your own machine — the client starts it, so there is no endpoint to ping. 274 installs a week from npm. Last commit 31 Aug 2026.
Verification and memory layer for coding-agent workflows.
We read the source, 13 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
const child = spawn(process.execPath, [file], { stdio: 'inherit', windowsHide: true })
if (process.env[sign.env] || fs.existsSync(path.join(root, sign.marker))) return sign.agent
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add koda -- npx -y koda-verify
{
"mcpServers": {
"koda": {
"args": [
"-y",
"koda-verify"
],
"command": "npx"
}
}
}
[mcp_servers.koda]
command = "npx"
args = ["-y", "koda-verify"]
{
"mcpServers": {
"koda": {
"args": [
"-y",
"koda-verify"
],
"command": "npx"
}
}
}
{
"mcpServers": {
"koda": {
"args": [
"-y",
"koda-verify"
],
"command": "npx"
}
}
}
Inter-agent communication for multi-agent Claude Code workflows.
Command wrapper MCP server for coding agents, compression, workflows, and local automation.
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
MCP server for agent task workflows with phases, prompts, gates, and multi-agent coordination
Long-term memory for AI agents: semantic facts, episodic events, and procedural workflows
Visual workflow memory: search, read, and freeze MindFlows workflows from any agent.
GodPrompt workflows for TDD, debugging, verification, task routing, and progressive disclosure.
Shared memory + orchestration for your coding agents. Local-first MCP, vector RAG.
Answers built from our own checks of this server.