Loading the registry…
An MCP server for Agda's interaction protocol
Choose your runtime — the CLI writes the mcpServers config entry for that target.
nerlo install agda-mcp --target claude-code
Install respects the composite badge: Verified proceeds, Caution prompts for confirmation, and Unsafe is refused. Write operations require an API token.
Not yet scanned
This server is in the registry but has no completed scan yet. Per-scanner scoresheets appear here once the pipeline finishes its first run.
1 scanon record. Every scan's full results are retained immutably for 24 months.
| Completed | Composite | Change | Scanners | Status |
|---|---|---|---|---|
| — | Pending scan | — | — | queued |
Are you the author and believe a verdict is inaccurate? Appeal this badge.