MCPVault / Compare servers

Compare servers

Choose up to three servers. Compare what they do, how to connect and what has actually been checked.

Find a server to compare

Compare servers	Mathlas
Purpose	Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Authentication (maintainer declared)	Unknown
Public launch command	Project-specific setup
Configuration source	Public install instructions
Observed tools	Unknown
Last complete tool check	Unknown
License	Apache-2.0
	Open setup

A complete tool check lists tools; it does not exercise them or certify security.