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 317 of 1519
leanforge-mcp
by sandraschi
Lean theorem prover MCP: automated proof search, mathlib integration, job management
sandraschi/leanforge-mcp
mail-mcp
by davidvornholt
An IMAP helper for Thunderbird workflows that allows searching, reading, and creating/updating/deleting drafts with HTML and attachments via MCP or CLI, but cannot send emails.
davidvornholt/mail-mcp
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 →neodb-mcp
by xytangme
xytangme/neodb-mcp