Koda
Rank #14,296io.github.aabxtract/koda
Verification and memory layer for coding-agent workflows.
Koda is a Model Context Protocol (MCP) server published by aabxtract. It ranks #14,296 of 132,113 servers tracked on MCP Toplist. Koda is listed on Official MCP, with 2 tracked versions. It was first listed on Aug 29, 2026 and most recently updated on Aug 30, 2026.
Ranks ahead of 117,817 of 132,113 servers on MCP Toplist.
Use Koda
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add koda -- npx -y koda-verify[mcp_servers.koda]
command = "npx"
args = ["-y", "koda-verify"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"koda": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"koda": {
"command": "npx",
"args": [
"-y",
"koda-verify"
]
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.aabxtract%2Fkoda)<a href="https://mcptoplist.com/server/io.github.aabxtract%2Fkoda"><img src="https://mcptoplist.com/badge/io.github.aabxtract%2Fkoda.svg" alt="MCP Toplist: Top 25% of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
aabxtract
Other servers by aabxtract
View all aabxtract servers →Available versions (2)
| Version | Published |
|---|---|
| 0.3.2 | Aug 30, 2026 |
| 0.3.1 | Aug 29, 2026 |
Frequently asked questions
- Who maintains Koda?
- Koda is maintained by aabxtract, which publishes 2 MCP servers (2 total versions) tracked on MCP Toplist.
- Is Koda listed on the Official MCP Registry?
- Yes — Koda is listed on the Official MCP Registry.
- How many versions does Koda have?
- MCP Toplist tracks 2 versions of Koda, most recently published on Aug 30, 2026.
- Where can I find the source code for Koda?
- The source code for Koda is hosted at github.com/aabxtract/koda.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.