A
licenseNot graded
qualityB
maintenanceExposes literature retrieval, sandboxed Python execution, SymPy computation, and Lean 4 proof checking as callable MCP tools so agents can produce evidence-backed research and mathematical results.
MIT
117,361 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓