AI Tools Scout
Open-source ToolsLLM ProjectsMCP ServersMethodology
AI Tools Scout

An open-source AI tools directory with clear use cases, visible source freshness, and maintenance evidence for anyone deciding what to try.

Explore
Open source AI projectsOpen source LLM projectsMCP servers list
More
SkillsContentAbout
Rankings use public ecosystem signals. Treat them as a starting point, then confirm license, setup, safety, and fit with the upstream project.
  1. Home
  2. /MCP Servers
  3. /Archerkattri/mathlas

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) 🐍 🏠 - Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.

GitHub ↗Awesome MCP Servers
0
Stars
0
Installs
0
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
10/4/2026

Weekly AI open-source movers

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