PyRank

Theorem Search Python Packages

Python packages with the GitHub topic theorem-search. Sorted by relevance, with stars and monthly downloads.
Archerkattri
mathlas-mcp

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

4K 5 0