rateme12mathlas
latest · 1.5.0Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
- GitHub
- Archerkattri/mathlas
- MCP registry
- io.github.archerkattri/mathlas
Install
claude mcp add io-github-archerkattri-mathlas -- uvx mathlas-mcp/mcp confirms it's connected.
Or add it manually in ~/.cursor/mcp.json:
{
"mcpServers": {
"io-github-archerkattri-mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
]
}
}
}In claude_desktop_config.json (Settings → Developer → Edit Config), then restart:
{
"mcpServers": {
"io-github-archerkattri-mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
]
}
}
}Config entry, any MCP client:
{
"command": "uvx",
"args": [
"mathlas-mcp"
]
}Community score
Community42/ 100
from web signals · no reviews yet (community v3)
- Web signals (ecosystem baseline)42/100 · 100% of the weight
Used it? Rate v1.5.0
No reviews yet — be the first.
What the web says
Ecosystem baseline42/ 100
Objective public usage & activity (formula v3) — the community score's web-signals input, and its own sort.
GitHubsource ↗
- GitHub stars · 4 days ago
- ★ 13
- Last commit · 4 days ago
- 1 day ago
- Release cadence · 4 days ago
- about daily
- Latest release · 4 days ago
- v1.5.0
- License · 4 days ago
- Apache-2.0
Packages
No package-registry data collected yet.
Listed on
- Glama · 7 days ago
- Listed · Glama quality score 4.5 ↗
Mentions
No public discussion scraped yet.
Docs & liveness
No liveness or verification signals yet.
Version history1
- 1.5.0release date unknown
Badge for your README
Shows this page's community score and its sample, kept current, and links readers here to review.
[](https://rateme12.com/servers/94b28d07-251e-4c01-b65e-8221b096e846)Details
- Transport
- stdio
- Status
- listed
- Source
- Imported from the MCP registry
- Repository
- source ↗