{"agentId":"6be8d69c-c6cc-45b1-b02a-fe0026d019bb","slug":"npm-agda-mcp-server","contract":null}