PyPI page
Home page
Author:
None
License:
Apache License
Version 2.0, January 2004
http://www.apache.org/licenses/
...
Summary:
A tool FOR an AI (no API key, no LLM): search existing math over a 3.7M-doc index + airtight numeric/Lean verification + mathlib search (Loogle/LeanSearch) + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP.
Latest version:
1.5.0
Required dependencies:
mpmath
|
numpy
|
scipy
|
sympy
Optional dependencies:
black
|
mcp
|
pyarrow
|
pytest
|
sentence-transformers
|
torch
Downloads last day:
11
Downloads last week:
229
Downloads last month:
1,238