MCP server health, State of MCP census

Mathlas

io.github.Archerkattri/mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

healthy checked 2026-07-02 · 7/7 checks passed · keyless

Checks

The exact rows akashi check io.github.Archerkattri/mathlas prints, from the 2026-07-02 census.

Check	Status	Detail
registry status	pass	active
server.json valid	pass	validates against its declared JSON Schema
repo reachable	pass	exists
repo freshness	pass	pushed 0d ago
package pypi	pass	published (1.5.0)
at least one live entrypoint	pass	2 alive
license present	pass	Apache-2.0

Evidence

Repository

github · alive

https://github.com/Archerkattri/mathlas

Packages

pypi mathlas-mcp · published(1.5.0)

Remote endpoints

No remote endpoint declared.

server.json

validagainst its declared schema

One of 14559 servers in the 2026-07-02 State of MCP census: 11582 healthy (79.6%), 2212 degraded (15.2%), 596 dead (4.1%), 169 unknown (1.2%).

Verify it yourself

This page is a static read of one dated probe. Run the same check locally, any time, with no key:

$ akashi check io.github.Archerkattri/mathlas

Install Akashi - single Go binary, zero keys, MIT licensed.

Is this your server?

Claiming a server (an auto-refreshing badge and a verified publisher profile) is coming soon. Until then, embed the verified-on-date badge yourself with akashi check io.github.Archerkattri/mathlas --badge.

Open data, CC BY 4.0. How this census works - denominator, tiers, and what each check does.