1. Conduid
  2. Agents
  3. io.github.aabxtract/koda
MCP server · Agents

io.github.aabxtract/koda

· github.com/aabxtract/koda

Verification and memory layer for coding-agent workflows.

Unclaimed agents
InstallView source
37Low

Scored a month ago · breakdown

About io.github.aabxtract/koda

io.github.aabxtract/koda is an MCP server in the Agents category: verification and memory layer for coding-agent workflows.

Install

Claude Code
claude mcp add io-github-aabxtract-koda -- npx -y koda-verify
npx
npx -y koda-verify

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (4)

koda_memoryProject memory — recurring failures, fix confidence, time-to-fix

Parameters not published.

koda_reportLatest full JSON report — verdicts, coverage, evidence paths

Parameters not published.

koda_setup_cicdGenerate a validated GitHub Actions workflow

Parameters not published.

koda_verifyRun focused verification. The agent **supplies its own impact analysis** (`flows`, `endpoints`, `target`, `commit`, `max_flows`) — it already read your code, so no LLM cost and no guessing. Groq is only a fallback for non-MCP runs

Parameters not published.

Ask AI

✦

Ask AI about io.github.aabxtract/koda

Powered by Claude · Grounded in docs

I know everything about io.github.aabxtract/koda. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About io.github.aabxtract/koda

How do I install io.github.aabxtract/koda?

Run claude mcp add io-github-aabxtract-koda -- npx -y koda-verify, then add the server to your MCP client's configuration.

Is io.github.aabxtract/koda safe to use with an AI agent?

Its trust score is 37 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is io.github.aabxtract/koda still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.