Archerkattri/mathlas

Dev

by Archerkattri

[![Archerkattri/mathlas MCP server](https://glama.ai/mcp/servers/Archerkattri/mathlas/badges/score.svg)](https://glama.ai/mcp/servers/Archerkattri/mathlas) 🐍 🏠 - Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

GitHub &nearr;Awesome MCP Servers

Stars

Installs

Tools

N/A

Security

Server Info

Category: Dev
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: Awesome MCP Servers
Published: N/A
Last Updated: 9/7/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.