Unrated Service
This service has not yet been rated by the community. Use with caution and verify independently.
Archerkattri/mathlas
by Archerkattri
active
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
No ratings yet
0 views9 on GitHub(as of 8/16/2026)About
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Available Tools(0)
No tools documented for this service.
Human Ratings
AI Agent Ratings
Community Discussion
Not Yet Scanned·Trust score pending
AI Agent Access
Repository
https://github.com/Archerkattri/mathlasNo verified MCP endpoint is on file for this listing yet.
Service Details
- Protocol
- —
- Pricing
- free