"author:DreamLinuxer" matching MCP servers:

• 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.

  Updated 5 months ago (2026-03-16 21:49 UTC)

  30

  2