Codna — repository intelligence

io.github.thyn-ai/codna

Repo intelligence: triage, fix PRs, SARIF reachability, recall. Free codna login to execute.

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "codna": {
      "command": "uvx",
      "args": [
        "codna"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<your ANTHROPIC_API_KEY>",
        "OPENAI_API_KEY": "<your OPENAI_API_KEY>",
        "GEMINI_API_KEY": "<your GEMINI_API_KEY>",
        "GITHUB_TOKEN": "<your GITHUB_TOKEN>",
        "CODNA_API_KEY": "<your CODNA_API_KEY>"
      }
    }
  }
}
Environment variables
  • ANTHROPIC_API_KEYsecretProvider key for codna_fix's planner — any one of ANTHROPIC_API_KEY (Anthropic), OPENAI_API_KEY (OpenAI/ChatGPT), or GEMINI_API_KEY (Gemini) works (or store one with `codna key set <provider>`). Every tool also requires the one-time free `codna login` device authorization before executing; introspection (initialize/tools/list) needs no credentials.
  • OPENAI_API_KEYsecretAlternative provider key (OpenAI/ChatGPT) for codna_fix's planner — see ANTHROPIC_API_KEY.
  • GEMINI_API_KEYsecretAlternative provider key (Gemini) for codna_fix's planner — see ANTHROPIC_API_KEY.
  • GITHUB_TOKENsecretWrite token, only for codna_fix with open_pr=true (opens a pull request) and codna_report_bug (files an issue).
  • CODNA_API_KEYsecretCodna key from the one-time free `codna login` (device authorization, free community license). Required to execute any of the five tools; introspection (initialize/tools/list) needs none.

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.2.113
Registry
active
Published
11/7/2026

More Developer Tools servers

Browse all Developer Tools →

SQAI — deterministic, read-only structured data

thyn-ai

SQAI MCP server — four governed, deterministic, read-only data tools. Free login to execute.

Developer ToolsAdded 1 month ago

Telys — on-device memory

thyn-ai

Private on-device memory & retrieval for AI assistants — offline vector + lexical search.

Developer ToolsAdded 2 weeks ago

AgentsToolsHub

Thyphex

156 paid-per-call JSON APIs for AI agents over x402: calculators, live data, crypto, security, dev.

Developer ToolsAdded 2 weeks ago

LadDoc Cloud — LadDoc to SimaticML over MCP

tia-forge

Generate TIA Portal importable SimaticML (V19) from LadDoc IR, with strict validation, over MCP.

Developer ToolsAdded 2 weeks ago

PLC Cloud Sim — LAD/SCL simulation over MCP

tia-forge

Cloud PLC simulator: validate and step-run LAD/SCL programs, run scenarios, return PASS/FAIL.

Developer ToolsAdded 2 weeks ago

TIA Portal Docs — Siemens PLC programming docs over MCP

tia-forge

Search 2800+ official TIA Portal chapters: blocks, instructions, data types, constants.

Developer ToolsAdded 2 weeks ago

Add the badge to your site

Show visitors that Codna — repository intelligence is listed here — it’s also the link we check for a free listing.

Codna — repository intelligence — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-thyn-ai-codna?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Codna — repository intelligence — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Codna — repository intelligence — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-thyn-ai-codna?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.