Home › Search: lean4
Search: lean4
Search MCP servers and agent skills by name, description, category or topic — 1 result.
MCP Server
Active
Archerkattri/mathlas
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.