mcp server
mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Description as published by the maintainer. Source
- version 1.5.0
- active
- retrieval
active — Most recent push to the repository was 2026-07-25. Dashed tags are derived by ZBS Index from the published description, not stated by the maintainer.
Signals
These are separate measurements of different things. They are deliberately not combined into one score, because a popularity number that mixes website traffic with saves and stars cannot be checked or acted on.
| Signal | Value | What it measures | Window | Observed | Source |
|---|---|---|---|---|---|
| GitHub stars | 9 | Number of GitHub accounts that bookmarked this repository since it was created. It is a bookmark count, not installs, not active users and not quality. | cumulative, all time | GitHub | |
| Last commit | 2026-07-25 | Date of the most recent push to any branch. This is the strongest cheap indicator of whether the project is still maintained. | point in time | GitHub | |
| Open issues | 0 | Open issues plus open pull requests, as GitHub counts them together. A high number can mean an active project or an abandoned one. | as of fetch | GitHub | |
| Latest published version | 1.5.0 | Latest version string the maintainer published to the registry. | as of fetch | Model Context Protocol | |
| Registry record last updated | 2026-07-02 | When the registry record was last updated by its maintainer. | point in time | Model Context Protocol | |
| License | Apache-2.0 | Licence GitHub detected in the repository. Detection can be wrong; the LICENSE file is authoritative. | as of fetch | GitHub | |
| First listed in the MCP Registry | 2026-07-02 | Date this server was first published to the official MCP Registry. Not a usage or quality measure. | point in time | Model Context Protocol | |
| repository status | active | The repository exists on GitHub and is not archived. This says nothing about how recently it was worked on. | as of fetch | GitHub |
Where to get it
Related, by what their authors tagged them
-
io.github.cyanheads/calculator-mcp-server
— last commit 2026-07-02, shares math
Evaluate, simplify, and differentiate mathematical expressions.
-
Sounio Compiler
— last commit 2026-08-06, shares formal-verification
Check, compile, run, and test Sounio programs locally.
-
Emilia Protocol
— last commit 2026-08-08, shares formal-verification
Trust & human sign-off for AI agents: approval required before irreversible agent actions
-
GrantAi Memory
— last commit 2026-03-16, shares retrieval
Persistent memory for AI agents. Infinite context with sub-millisecond recall.
-
Airweave Search
— last commit 2026-06-05, shares retrieval
MCP server for searching Airweave collections with natural language queries.
-
Obsidian Semantic Search
— last commit 2026-08-06, shares retrieval
Read-only semantic search MCP server for Obsidian vaults using local Ollama embeddings.
-
hubmesh
— last commit 2026-08-05, shares retrieval
Deterministic multi-hop graph retrieval for RAG. Zero LLM calls in the query path.
-
mcp-vl-msa-rs
— last commit 2026-06-15, shares retrieval
Searchable agent memory: BM25 corpus recall, original-text injection, remember/forget capsules.
-
io.github.HaseebKhalid1507/velocirag
— last commit 2026-04-05, shares retrieval
Lightning-fast RAG for AI agents. 4-layer fusion, ONNX Runtime, sub-200ms search.
These share tags the maintainers applied themselves, such as math, formal-verification, retrieval. Common tags like "mcp" or "ai" are ignored for this: agreeing with six hundred other projects is not a similarity.
This is not a recommendation and not a test result. It is a map of what the authors said their work is about.
How the author describes it
Topics the maintainer set on GitHub: ai-tools, claude, formal-verification, lean4, math, mcp-server, retrieval, theorem-search.
This record as data
Every field on this page, with its source and observation date, is in the catalog JSON. Fetch the whole kind at once instead of parsing this HTML.
GET /api/v1/entries/mcp_server.json