M8ven's public index of MCPs we've independently looked at. M8ven Verified is our verification program: every listing carries one verdict, backed by how we verified it and who stands behind it.
Recently scored → · Page 404 of 1523
sagemath-mcp
by xbp-europe
Stateful SageMath MCP server: 40 tools for symbolic math, algebra, number theory, graphs, plotting and claim verification. A persistent Sage session per client, an AST policy in front of it, and a hardened container as the real boundary.
XBP-Europe/sagemath-mcp
Expense Manager MCP Server
by sonali1103
Enables natural language management of personal expenses, including adding, updating, deleting, searching, and summarizing expenses stored in a local SQLite database.
sonali1103/expense-manager-mcp-server
For MCP registries
Drop M8ven MT2 into your registry's listing page as a filter, a badge, or a full sandbox report. Webhook + REST + MCP-native. Beta waitlist is open.
Request API accessFor builders
Free trust score, a verified publisher badge for your README, and a listing developers can find before they connect.
Submit your MCP →sema
by emergent-wisdom
Content-addressed vocabulary protocol: 452 cognitive patterns with cryptographic identity. Agents sharing a handle (e.g. StateLock#5602) provably share meaning — mismatched vocabularies halt rather than silently drift.
emergent-wisdom/sema