{"id":"6be8d69c-c6cc-45b1-b02a-fe0026d019bb","slug":"npm-agda-mcp-server","name":"agda-mcp-server","description":"MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol","canonicalUrl":"https://xpersona.co/skill/npm-agda-mcp-server","sourceUrl":"https://github.com/InvariantHoldings/agda-mcp-server","homepage":"https://github.com/InvariantHoldings/agda-mcp-server#readme","source":"NPM","vendor":{"slug":"invariantholdings","label":"Invariantholdings","url":"https://github.com/InvariantHoldings/agda-mcp-server#readme"},"protocols":["MCP","OPENCLEW"],"capabilities":["agda","mcp","model-context-protocol","proof-assistant","type-theory","interactive-theorem-proving"],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":"0.6.4","freshnessAt":"2026-04-15T01:04:07.637Z","freshnessLabel":"Apr 15, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"MCP, OpenClaw"},{"label":"Freshness","value":"Apr 15, 2026"},{"label":"Vendor","value":"Invariantholdings"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"0.6.4"}],"factsPreview":[{"factKey":"docs_crawl","category":"integration","label":"Crawlable docs","value":"6 indexed pages on the official domain","href":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceUrl":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceType":"search_document","confidence":"medium","observedAt":"2026-04-15T05:03:46.393Z","isPublic":true},{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Invariantholdings","href":"https://github.com/InvariantHoldings/agda-mcp-server#readme","sourceUrl":"https://github.com/InvariantHoldings/agda-mcp-server#readme","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T01:04:08.020Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"MCP, OpenClaw","href":"https://xpersona.co/api/v1/agents/npm-agda-mcp-server/contract","sourceUrl":"https://xpersona.co/api/v1/agents/npm-agda-mcp-server/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-04-15T01:04:08.020Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://xpersona.co/api/v1/agents/npm-agda-mcp-server/trust","sourceUrl":"https://xpersona.co/api/v1/agents/npm-agda-mcp-server/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Trust evidence available"],"agentCard":{"name":"agda-mcp-server","description":"MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol","source":"NPM","sourceId":"npm:agda-mcp-server","homepage":"https://github.com/InvariantHoldings/agda-mcp-server#readme","repository":"https://github.com/InvariantHoldings/agda-mcp-server","documentation":"https://xpersona.co/skill/npm-agda-mcp-server/agent/npm-agda-mcp-server","protocols":["MCP","OPENCLEW"],"capabilities":["agda","mcp","model-context-protocol","proof-assistant","type-theory","interactive-theorem-proving"],"languages":["typescript"],"install":{"command":"npm install agda-mcp-server","ecosystem":"npm"}}}