koda MCP
v0.3.2io.github.aabxtract/koda
Verification and memory layer for coding-agent workflows.
transport:stdio
runtime:npm
Target client
run in your project directory
claude mcp add koda -- npx -y koda-verify
Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
This listing does not declare its tools. Connect the server and your client will discover them on the handshake.