Agda MCP Server
MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol
context tax
pending
security
95/100
cold start
pending
freshness
Maintained2mo ago
Our reading of Agda, from the data
Agda is an MCP server from invariantholdings.
We haven't measured its tool list yet, so its token cost is unknown.
Maintenance is maintained: the last public signal was 2 months ago (2026-08-09).
It runs locally on your machine over stdio.
Install Agda MCP server
Install in Claude Code
claude mcp add agda -- npx -y agda-mcp-serverInstall in Cursor
{
"mcpServers": {
"agda": {
"command": "npx",
"args": [
"-y",
"agda-mcp-server"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"agda": {
"command": "npx",
"args": [
"-y",
"agda-mcp-server"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"agda": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"agda-mcp-server"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"agda": {
"command": "npx",
"args": [
"-y",
"agda-mcp-server"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Security signals
95/100 — no known issues found as of 2026-10-19, from the checks below. This is not a guarantee of safety; review what a server can do before connecting it.
Deductions
- No license detected-5
Checks
- ✓Repository hygiene (archived, activity, license, security policy)
- ○Package metadata (install scripts, provenance) — pending
- ○Tool descriptions (prompt-injection and hidden-text heuristics) — pending
- ○Source scan (secrets, CVEs, risky code) by vectra-guard — pending
Scan it yourself before installing with vectra-guard, the open-source agent security CLI. Scoring rules
Freshness
Maintained — last maintenance signal 2mo ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-08-09 · 2mo ago · GitHub
Latest release
2026-04-16 · 6mo ago · GitHub · v0.6.6
Package published
no data · npm/PyPI
Registry entry updated
no data · official registry
FAQ
›How do I install the Agda MCP server in Claude Code?
Run: claude mcp add agda -- npx -y agda-mcp-server. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Agda require an API key?
No required environment variables are declared in its published metadata.
›Can I use Agda as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Agda in the official MCP registry?
No. It was indexed from npm.
Sources and method
- GitHub repository
- fetched 2026-10-19
- Package registry (npm / PyPI)
- listed
- Security signals, computed by us
- 2026-10-19
- Last checked against all sources
- 2026-10-19
The description, packages and links come from the maintainer's own published metadata. Token cost, security signals, freshness and the reading above are MCPSkillHub's own measurements; see the methodology. Spot an error? Request a correction or claim the listing.