MCP Find
Browse Servers
Blog
Docs
Submit Server
Back to Directory
/
AI & ML
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
AI & ML
v0.1.0
View on GitHub
Learn More
Best AI-ML MCP Servers for Agent Toolchains in 2026
Read article
Building Multi-Agent Workflows With MCP: Patterns and Tools
Multi-agent workflows let AI agents collaborate on complex tasks by sharing MCP servers and passing structured outputs. This guide covers the orchestrator-worker pattern, shared memory approaches, tool routing, and which server categories from MCPFind's 10,212-server index support production agentic stacks.
Read article
Best MCP Servers for AI and Machine Learning Workflows
MCPFind indexes 1,021 ai-ml MCP servers -- the highest average star count of any category at 93.11. We analyzed the top options for vector databases, HuggingFace model access, local LLM inference with Ollama, and multi-agent orchestration to find which servers belong in production ML workflows.
Read article