Factual package intelligence from PyPI

mathlas-mcp 1.5.0 package intelligence

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.

pip install mathlas-mcp

Current version
1.5.0
Python requirement
>=3.9
License
Apache Software License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
328.3 KiB
Release history
9 releases with files
Median release cadence
0 days

mathlas-mcp dependencies

PyPI declares 11 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. mpmath >=1.3
  2. sympy >=1.12
  3. numpy >=1.24
  4. scipy >=1.10

Compatibility and release files

mathlas-mcp publishes 1 wheel and 1 source archive for version 1.5.0. Wheel platform tags: any.

Declared Python classifiers: 3.10, 3.11, 3.12, 3.9.

Release activity and sources

PyPI lists 9 releases with files. The first dated release is ; 9 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .