agda-mcp

MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.

→ DreamLinuxer/agda-mcp · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 5 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/dreamlinuxer-agda-mcp-oh0m2s)](https://m8ven.ai/mcp/dreamlinuxer-agda-mcp-oh0m2s)

commit: b9e2b30c45adfefe2e43a9dbba81d96da3a667ab

code hash: 16ca4e2e73574491d637b89f47496b5fbdea74667edc6f99bcfde12c4019c04b

verified: 6/22/2026, 1:05:02 PM

view raw JSON →