{"id":"io-github-isagoge-labs-leanwarp","name":"io.github.Isagoge-Labs/leanwarp","title":"LeanWarp","description":"Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.","category":"other","categories":[],"flags":[],"users_30d":0,"health":{"status":"no_remote","latency_ms":null,"tool_count":null,"auth":null,"checked_at":null},"remote":false,"pending":false,"install_link":"https://toolfindr.dev/add?server=io.github.Isagoge-Labs%2Fleanwarp&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-isagoge-labs-leanwarp","health_error":null,"repo_url":"https://github.com/Isagoge-Labs/LeanWarp-SDK","website_url":"https://isagoge.in/leanwarp","version":"0.2.5","remotes":[]}