{"id":"76746fae-a8dd-4a2f-a48c-d4c47eeff019","slug":"gitlab-public-projects-parcha-agda-mcp","name":"agda-mcp","description":"Fully-featured MCP server for Agda, with context-friendly amenities.","capabilities":["Agda","MCP-server","mcp","mcp-servers","rust"],"protocols":["MCP"],"safetyScore":79,"overallRank":57.6,"trustScore":null,"trust":null,"source":"GITLAB_PUBLIC_PROJECTS","updatedAt":"2026-10-09T01:20:59.481Z"}