Codna
OfficialRelated Servers
Alternatives to Codna
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityBmaintenanceProvides a set of MCP tools to clone and analyze arbitrary MCP server repositories, run static and dynamic security probes in isolated Docker containers, and produce vulnerability verdicts with a human-in-the-loop approval step before filing public reports.MIT
- AlicenseNot gradedqualityBmaintenanceEnables MCP clients to scan codebases, persist and prioritize security findings against SLAs, retrieve CVE details, propose fixes, and create tickets through its tools. It also supports agent-assisted remediation drafting while enforcing human approval and preventing auto-merge.MIT
- AlicenseNot gradedqualityAmaintenanceMCP server for persistent code exploration and diff-aware review, exposing explore and review tools to map call paths, blast radius, and generate explainable risk-scored reports.3 npm2MIT

Celmis MCP Serverofficial
AlicenseNot gradedqualityAmaintenanceEnables querying indexed code across multiple repositories with file-level citations, reviewing pull requests, auditing dependencies, and exporting SBOMs and evidence packs through MCP tools.3AGPL 3.0- FlicenseNot gradedqualityBmaintenanceEnables MCP clients to query and triage security findings published to BigQuery and correlate them with execution, sandbox, and diagnostic traces in Cloud Logging. Exposes tools, resources, and prompts for filtering issues by severity, status, repository, or CWE, retrieving patch diffs and verification results, and diagnosing why a remediation or verification run failed.-
- AlicenseNot gradedqualityCmaintenanceProvides MCP tools for fetching GitHub PR diffs, searching codebases, running unit tests, and linting code, enabling automated code review and CI/CD workflows.MIT
TDQS
Scored across 5 tools
Each tool targets a clearly distinct workflow: triage maps issues to suspect files, fix performs the actual bug fix, recall searches local code memory, secure classifies SARIF findings, and report_bug files feedback. There is minor conceptual overlap between triage and recall, but their descriptions draw a clear line between whole-repo mapping and concept-level symbol recall.
All tools share the codna_ prefix and use lowercase imperative verbs, giving a predictable and recognizable pattern. The only small deviation is report_bug, which appends an object noun, while the others are bare verbs.
Five tools is well-scoped for a coding-agent server: triage, fix, recall, secure, and bug reporting each cover a distinct high-level capability without redundancy. The count feels intentional rather than padded.
The toolset covers the main workflows an agent needs: locating relevant code, fixing bugs, recalling indexed symbols, verifying security findings, and reporting issues. Minor gaps exist such as no general issue-creation tool or explicit test/verify step, but these can be worked around via the CLI or GitHub.