Explore
MCP servers and skills: search, filter by where they run, and compare.
MCP servers and skills: search, filter by where they run, and compare.
SkillLink only★ 5
MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
MCPLink only★ 1Few stars
Who stands behind it
Who stands behind it