Lean4 formal proof — Atom

{
  "_meta": {
    "io.modelcontextprotocol.registry/official": {
      "status": "active",
      "isLatest": true,
      "updatedAt": "2026-11-15T21:17:47.69233Z",
      "publishedAt": "2026-11-15T21:17:47.69233Z",
      "statusChangedAt": "2026-11-15T21:17:47.69233Z"
    }
  },
  "server": {
    "name": "org.aimlds/atom-lean4-formal-proof",
    "_meta": {
      "io.modelcontextprotocol.registry/publisher-provided": {
        "atom": "lean4-formal-proof",
        "rate": null,
        "tier": "A",
        "status": "live — release candidate since 2026-11-15 (one-week soak to 2026-11-22)",
        "rateStatus": "pending",
        "keyNamespace": "lean4_formal_proof"
      }
    },
    "title": "Lean4 formal proof — Atom",
    "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
    "remotes": [
      {
        "url": "https://atoms.pipavia.com/mcp/lean4-formal-proof",
        "type": "streamable-http",
        "headers": [
          {
            "name": "Authorization",
            "isSecret": true,
            "isRequired": true,
            "description": "Your Conduit Atoms gateway key, as 'Bearer <key>'. One gateway key works across atoms; it must hold this atom's scope (lean4_formal_proof). Sign up at https://atoms.pipavia.com, open this atom, and issue your key.",
            "placeholder": "Bearer <redacted>"
          }
        ]
      }
    ],
    "version": "0.1.0",
    "repository": {
      "url": "https://github.com/nrupala/atom-services",
      "source": "github",
      "subfolder": "services/lean4-formal-proof"
    },
    "websiteUrl": "https://atoms.pipavia.com",
    "description": "Lean4 formal proof, delivered per API call as an atom service on Conduit Atoms."
  }
}