Skip to main content
Glama
92,572 servers. Updated

"author:DreamLinuxer" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • agda-mcp

    DreamLinuxer
    F
    license
    B
    quality
    D
    maintenance
    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.
    30
    2
    -