Koda Verify MCP Server
by aabxtractio.github.aabxtract/kodav0.3.2
Verification and memory layer for coding-agent workflows.
context tax
queued
security
queued
cold start
queued
freshness
Maintained40d ago
Install Koda Verify MCP server
Install in Claude Code
claude mcp add koda-verify -- npx -y koda-verifyInstall in Cursor
{
"mcpServers": {
"koda-verify": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"koda-verify": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"koda-verify": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"koda-verify": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Maintained — last maintenance signal 40d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-08-31 · 40d ago · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-08-30 · 41d ago · official registry · v0.3.2
FAQ
›How do I install the Koda Verify MCP server in Claude Code?
Run: claude mcp add koda-verify -- npx -y koda-verify. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Koda Verify require an API key?
No required environment variables are declared in its published metadata.
›Can I use Koda Verify as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Koda Verify in the official MCP registry?
Yes, as io.github.aabxtract/koda.
Alternatives to Koda Verify
Other memory MCP servers.
MemoryActiveKnowledge graph-based persistent memory for maintaining context.
HindsightActiveHindsight: long-term memory for AI agents modeled on human memory.
Codebase MemoryActiveIndexes a repo into a persistent local knowledge graph of functions, classes, call chains, HTTP routes and cross-service links, using tree-sitter and LSP.
CogneeActiveMemory manager for AI apps and agents using graph and vector stores, with ingestion from many data sources.
HonchoActiveMemory that reasons: continual learning for stateful agents. Better context, fewer tokens.
Basic MemoryActiveLocal-first AI memory: a semantic knowledge graph of Markdown files that humans and LLMs both read and write, with optional cloud sync and team workspaces.