Loading…
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
LeanWarp is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 97/100. This catalog entry is the indexed repository Isagoge-Labs/LeanWarp-SDK. The command is the string recorded from the source. It is not proof of a one-click install in every client. An MCP server exposes callable tools to a client. An agent skill is an instruction package. This entry is an MCP server record. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. Review the repository push date and repository status before adding LeanWarp to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
uvx leanwarp==0.2.6The command is the string recorded from the source. It is not proof of a one-click install in every client.
Review the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-11-09T14:21:47.807013Z",
"publishedAt": "2026-11-09T14:21:47.807013Z",
"statusChangedAt": "2026-11-09T14:21:47.807013Z"
}
},
"server": {
"name": "io.github.Isagoge-Labs/leanwarp",
"title": "LeanWarp",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "0.2.6",
"packages": [
{
"version": "0.2.6",
"transport": {
"type": "stdio"
},
"identifier": "leanwarp",
"runtimeHint": "uvx",
"registryType": "pypi",
"registryBaseUrl": "https://pypi.org",
"packageArguments": [
{
"name": "--project",
"type": "named",
"format": "filepath",
"isRequired": true,
"description": "Absolute path to the Lean project directory to check."
},
{
"type": "positional",
"value": "mcp"
}
],
"environmentVariables": [
{
"name": "LEANWARP_API_KEY",
"format": "string",
"isSecret": true,
"isRequired": true,
"description": "Your LeanWarp API key (lw_live_...), from https://isagoge.in/dashboard?section=keys."
}
]
}
],
"repository": {
"id": "1447677520",
"url": "https://github.com/Isagoge-Labs/LeanWarp-SDK",
"source": "github"
},
"websiteUrl": "https://isagoge.in/leanwarp",
"description": "Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers."
}
}