Developer · Local MCP server
Codna — repository intelligence
Repo intelligence: triage, fix PRs, SARIF reachability, recall. Free codna login to execute.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.thyn-ai/codna- Version
- 0.2.90
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- PyPI
- Published
- 2026-09-28
- Updated
- 2026-09-28
- Publisher
- thyn-ai (GitHub) · 4 servers with pages here
- Website
- codna.ai
- Repository
- github.com/thyn-ai/codna-cli
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPI | codna | 0.2.90 | stdio |
How to connect Codna — repository intelligence
Codna — repository intelligence runs locally from a Python package published to PyPI: codna version 0.2.90. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx codna. It reads these environment variables: ANTHROPIC_API_KEY (secret), GITHUB_TOKEN (secret) and CODNA_API_KEY (secret); set them in the client's configuration for this server.
In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):
{
"mcpServers": {
"codna": {
"command": "uvx",
"args": [
"codna"
],
"env": {
"ANTHROPIC_API_KEY": "<secret>",
"GITHUB_TOKEN": "<secret>",
"CODNA_API_KEY": "<secret>"
}
}
}
}Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More from thyn-ai (GitHub)
| Server | Runs |
|---|---|
| Algenta MCP ServerGoverned data discovery, exact queries, decisions, simulations, and runtime utilities over MCP. | Remote & Local · HTTP, stdio |
| SQAI — deterministic, read-only structured dataSQAI MCP server — four governed, deterministic, read-only data tools. Free login to execute. | Local · stdio |
| Telys — on-device memoryPrivate on-device memory & retrieval for AI assistants — offline vector + lexical search. | Local · stdio |
More developer servers
| Server | Runs |
|---|---|
| CodeZaikuA coding and development harness on local models or hosted APIs, for code, review, research and ops. | Local · stdio |
| Coding Challenge SolutionsSearch coding challenge solutions by keyword and optionally filter by programming language. | Local · stdio |
| Coding GuidesCoding guidelines and best-practice guides for 130+ languages, frameworks, and tools. | Remote & Local · HTTP, stdio |
| Coding StandardsAI coding standards that enforce production-grade code with DDD, SOLID, TDD guardrails. | Local · stdio |
| CogmemA self-improving, verifiable memory layer for AI coding agents. | Local · stdio |
| CogSessionSession memory for AI coding agents: records decisions and dead ends, flags what went stale. | Local · stdio |
| CohostSTR (MCP server for Guesty)CohostSTR: MCP server for Guesty. 43 read/write tools, free. Grounded replies, policy screen. | Local · stdio |
| COLA CloudSearch US TTB alcohol label approvals, permittees and processing times. Read-only; account required. | Remote · HTTP |