11,659 servers. Updated 2026-08-11 05:05

"Max" matching MCP connectors:

tinify-ai A
MCP server for Tinify image optimization — one tool, max optimization
Image & Video Processing App Automation Developer Tools
22
prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Developer Tools Code Analysis Research & Data
2