{"agentId":"76746fae-a8dd-4a2f-a48c-d4c47eeff019","slug":"gitlab-public-projects-parcha-agda-mcp","contract":null}