Literate Agda MCP

{
  "_meta": {
    "io.modelcontextprotocol.registry/official": {
      "status": "active",
      "isLatest": true,
      "updatedAt": "2026-11-08T09:58:22.658805Z",
      "publishedAt": "2026-11-08T09:58:22.658805Z",
      "statusChangedAt": "2026-11-08T09:58:22.658805Z"
    }
  },
  "server": {
    "name": "io.github.mrfentmen/literate-agda-mcp",
    "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
    "version": "1.0.0",
    "packages": [
      {
        "version": "1.0.0",
        "transport": {
          "type": "stdio"
        },
        "identifier": "@mrfentmen/literate-agda-mcp",
        "registryType": "npm"
      }
    ],
    "repository": {
      "url": "https://github.com/mrfentmen/awesome-servers",
      "source": "github"
    },
    "description": "Literate Agda MCP: 20 real tools to read, check, lint, scaffold, build and run Literate Agda code."
  }
}