"author:DreamLinuxer" matching MCP servers:

• agda-mcp

  DreamLinuxer

  -

  license

  -

  quality

  -

  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.

  Last updated 2026-03-16

  2