mathlas-mcp

MCP ServerData Science Toolsmathematicssymbolicpslqtheorem-retrieval

A tool FOR an AI (no API key, no LLM): search existing math over a 1.6M-doc index + airtight numeric/Lean verification + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP.

Directory Presence

Cross-referenced across 55 tracked directories

Directory	First Seen	Last Confirmed	Link
P PyPI (Real-time)	6/7/2026	7/2/2026
O Official MCP Registry	6/10/2026	10/27/2026	-
A Awesome MCP Tools	6/11/2026	10/27/2026
P PyPI	10/27/2026	10/28/2026
G GitHub Search	10/27/2026	10/28/2026
A Awesome MCP Servers	10/28/2026	10/28/2026

Adoption Metrics & Statistics

#327

Popularity Rank

5 / 55

Listed In

Mature

Adoption Stage

6/5/2026

Created

GitHub Stars

Forks

10/13/2026

Last Commit

Widely adopted across the ecosystem

Health Score

37/100

Directory Presence20/20

Community7/30

Usage4/20

Development Activity6/30

Directory Adoption Over Time

Jun 7, 26: + PyPI (Real-time)Jun 10, 26: + Official MCP RegistryOct 27, 26: + PyPIOct 27, 26: + GitHub SearchOct 28, 26: + Awesome MCP Servers

Cross-Posting Opportunities

Could also be listed in these directories:

npm Skills RegistrySmitheryOpenToolsHugging Face HubAwesome MCP ToolsPyPI Skills RegistryCline MCP Marketplacenpm Registryn8n Community NodesAI Collections+40 more

Info

Author: Krishi Attri
License: # PolyForm Noncommercial License 1.0.0 <https://polyformproject.org/licenses/noncommercial/1.0.0> Required Notice: Copyright 2026 Krishi Attri (https://github.com/Archerkattri) ## Acceptance In order to get any license under these terms, you must agree to them as both strict obligations and conditions to all your licenses. ## Copyright License The licensor grants you a copyright license for the software to do everything you might do with the software that would otherwise infringe the licensor's copyright in it for any permitted purpose. However, you may only distribute the software according to [Distribution License](#distribution-license) and make changes or new works based on the software according to [Changes and New Works License](#changes-and-new-works-license). ## Distribution License The licensor grants you an additional copyright license to distribute copies of the software. Your license to distribute covers distributing the software with changes and new works permitted by [Changes and New Works License](#changes-and-new-works-license). ## Notices You must ensure that anyone who gets a copy of any part of the software from you also gets a copy of these terms or the URL for them above, as well as copies of any plain-text lines beginning with `Required Notice:` that the licensor provided with the software. For example: > Required Notice: Copyright Yoyodyne, Inc. (http://example.com) ## Changes and New Works License The licensor grants you an additional copyright license to make changes and new works based on the software for any permitted purpose. ## Patent License The licensor grants you a patent license for the software that covers patent claims the licensor can license, or becomes able to license, that you would infringe by using the software. ## Noncommercial Purposes Any noncommercial purpose is a permitted purpose. ## Personal Uses Personal use for research, experiment, and testing for the benefit of public knowledge, personal study, private entertainment, hobby projects, amateur pursuits, or religious observance, without any anticipated commercial application, is use for a permitted purpose. ## Noncommercial Organizations Use by any charitable organization, educational institution, public research organization, public safety or health organization, environmental protection organization, or government institution is use for a permitted purpose regardless of the source of funding or obligations resulting from the funding. ## Fair Use You may have "fair use" rights for the software under the law. These terms do not limit them. ## No Other Rights These terms do not allow you to sublicense or transfer any of your licenses to anyone else, or prevent the licensor from granting licenses to anyone else. These terms do not imply any other licenses. ## Patent Defense If you make any written claim that the software infringes or contributes to infringement of any patent, your patent license for the software granted under these terms ends immediately. If your company makes such a claim, your patent license ends immediately for work on behalf of your company. ## Violations The first time you are notified in writing that you have violated any of these terms, or done anything with the software not covered by your licenses, your licenses can nonetheless continue if you come into full compliance with these terms, and take practical steps to correct past violations, within 32 days of receiving notice. Otherwise, all your licenses end immediately. ## No Liability ***As far as the law allows, the software comes as is, without any warranty or condition, and the licensor will not be liable to you for any damages arising out of these terms or the use or nature of the software, under any kind of legal claim.*** ## Definitions The **licensor** is the individual or entity offering these terms, and the **software** is the software the licensor makes available under these terms. **You** refers to the individual or entity agreeing to these terms. **Your company** is any legal entity, sole proprietorship, or other kind of organization that you work for, plus all organizations that have control over, are under the control of, or are under common control with that organization. **Control** means ownership of substantially all the assets of an entity, or the power to direct its management and policies by vote, contract, or otherwise. Control can be direct or indirect. **Your licenses** are all the licenses granted to you for the software under these terms. **Use** means anything you do with the software requiring one of your licenses.
Package: mathlas-mcp
Registry: pypi
Last Commit: 10/13/2026
Directories: 5

Links

Repository Homepage

AI Security Scan

Related MCP Servers

clouatre-labs/math-mcp-learning-server

Hugues Clouâtre <[email protected]>

🐍 ☁️ 🏠 🍎 🪟 🐧 - Educational MCP server for math operations, statistics, visualization, and persistent workspaces. Built with FastMCP 2.0.

...more

MCP ServerData Science Tools

55 dirs

datalayer/jupyter-mcp-server

datalayer

🐍 🏠 - Model Context Protocol (MCP) Server for Jupyter.

MCP ServerData Science Tools

1.3K5 dirs

gnomon-mcp

Senthil Ramasamy

A small MCP server for the boring-but-essential utilities: dates, calendars, arithmetic, unit conversion.

MCP ServerData Science Tools

15 dirs

data-profiler-mcp

Haibin Yu

MCP server that profiles tabular data files (CSV, TSV, Parquet, Excel, JSON): schema, distributions, data-quality flags, and dtype suggestions for LLM agents.

...more

MCP ServerData Science Tools

35 dirs

Directory Presence

Cross-referenced across 55 tracked directories

Directory	First Seen	Last Confirmed	Link
P PyPI (Real-time)	6/7/2026	7/2/2026
O Official MCP Registry	6/10/2026	10/27/2026	-
A Awesome MCP Tools	6/11/2026	10/27/2026
P PyPI	10/27/2026	10/28/2026
G GitHub Search	10/27/2026	10/28/2026
A Awesome MCP Servers	10/28/2026	10/28/2026

Adoption Metrics & Statistics

#327

Popularity Rank

5 / 55

Listed In

Mature

Adoption Stage

6/5/2026

Created

GitHub Stars

Forks

10/13/2026

Last Commit

Widely adopted across the ecosystem

Health Score

37/100

Directory Presence20/20

Community7/30

Usage4/20

Development Activity6/30

Directory Adoption Over Time

Jun 7, 26: + PyPI (Real-time)Jun 10, 26: + Official MCP RegistryOct 27, 26: + PyPIOct 27, 26: + GitHub SearchOct 28, 26: + Awesome MCP Servers

Cross-Posting Opportunities

Could also be listed in these directories:

npm Skills RegistrySmitheryOpenToolsHugging Face HubAwesome MCP ToolsPyPI Skills RegistryCline MCP Marketplacenpm Registryn8n Community NodesAI Collections+40 more

Related MCP Servers

clouatre-labs/math-mcp-learning-server

Hugues Clouâtre <[email protected]>

🐍 ☁️ 🏠 🍎 🪟 🐧 - Educational MCP server for math operations, statistics, visualization, and persistent workspaces. Built with FastMCP 2.0.

...more

MCP ServerData Science Tools

55 dirs

datalayer/jupyter-mcp-server

datalayer

🐍 🏠 - Model Context Protocol (MCP) Server for Jupyter.

MCP ServerData Science Tools

1.3K5 dirs

gnomon-mcp

Senthil Ramasamy

A small MCP server for the boring-but-essential utilities: dates, calendars, arithmetic, unit conversion.

MCP ServerData Science Tools

15 dirs

data-profiler-mcp

Haibin Yu

MCP server that profiles tabular data files (CSV, TSV, Parquet, Excel, JSON): schema, distributions, data-quality flags, and dtype suggestions for LLM agents.

...more

MCP ServerData Science Tools

35 dirs