{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.Isagoge-Labs/leanwarp","description":"Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.","title":"LeanWarp","repository":{"url":"https://github.com/Isagoge-Labs/LeanWarp-SDK","source":"github","id":"1447677520"},"version":"0.2.5","websiteUrl":"https://isagoge.in/leanwarp","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"leanwarp","version":"0.2.5","runtimeHint":"uvx","transport":{"type":"stdio"},"packageArguments":[{"description":"Absolute path to the Lean project directory to check.","isRequired":true,"format":"filepath","type":"named","name":"--project"},{"type":"positional","value":"mcp"}],"environmentVariables":[{"description":"Your LeanWarp API key (lw_live_...), from https://isagoge.in/dashboard?section=keys.","isRequired":true,"format":"string","isSecret":true,"name":"LEANWARP_API_KEY"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-06T01:15:39.318824Z","publishedAt":"2026-11-06T01:15:39.318824Z","updatedAt":"2026-11-06T01:15:39.318824Z","isLatest":true}}}],"metadata":{"count":1}}