MCP server

Koda

io.github.aabxtract/koda

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

Verification and memory layer for coding-agent workflows.

Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Runs on your computer

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code

Last checked

26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add koda -- npx -y koda-verify@0.3.2

Claude Desktop

{"mcpServers":{"koda":{"command":"npx","args":["-y","koda-verify@0.3.2"]}}}

Codex (config.toml)

[mcp_servers.koda]
command = "npx"
args = ["-y","koda-verify@0.3.2"]

Gemini CLI

{"mcpServers":{"koda":{"command":"npx","args":["-y","koda-verify@0.3.2"]}}}

Cursor

{"mcpServers":{"koda":{"command":"npx","args":["-y","koda-verify@0.3.2"]}}}

VS Code

{"servers":{"koda":{"type":"stdio","command":"npx","args":["-y","koda-verify@0.3.2"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

• GitHub tools
• GitHub and code hosting

Related MCP servers

• Synapse Layer — Trust Infrastructure for AI Agents
  MCP-native Trust Infrastructure for AI Agents. Persistent encrypted memory with Trust Quotient.
• Awareness — Memory, Knowledge & Agent Markets
  Memory + public knowledge graph for AI agents: 1,000+ sourced papers, deal board, agent market.
• R/IV — Verify Claims, Citations & Agent Actions
  Verify claims, citations & agent actions. Free receipt trial; paid prices via live R/IV quotes.
• RegEvidenceHub CQC
  RegEvidenceHub CQC: England provider-registration and statutory-notification preflight.
• Supercycle
  AI buildout stocks: AI Exposure Scores, Fear & Greed, capex, AI agents' paper portfolios
• Security Recipes
  Read-only CVE intelligence, remediation playbooks, and agent setup guides. Not a scanner.
• ResearchPilot
  Plan and verify evidence-aware research workflows with specialist execution receipts.
• MeshMarket
  The agent-to-agent capability exchange — rent memory, reasoning and safety, settled per call.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.aabxtract/koda.svg)](https://aptlynx.net/servers/io.github.aabxtract/koda)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents