★ 1 stars
TypeScript
🔍 Search
Updated today
MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
View on GitHub →
Quick Install
Copy the config for your editor. Some servers may need additional setup — check the README.
Add to claude_desktop_config.json:
{
"mcpServers": {
"agda-mcp-server": {
"command": "npx",
"args": [
"-y",
"InvariantHoldings/agda-mcp-server"
]
}
}
}
Run in terminal:
claude mcp add agda-mcp-server npx -y InvariantHoldings/agda-mcp-server
Add to .cursor/mcp.json:
{
"mcpServers": {
"agda-mcp-server": {
"command": "npx",
"args": [
"-y",
"InvariantHoldings/agda-mcp-server"
]
}
}
}