MCP Find
Browse Servers
Blog
Docs
Submit Server
Back to Directory
/
Other
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Other
v2.0.0
This MCP has no overview available.
Learn More
Pinterest vs Microsoft Advertising MCP Servers
Two ad platforms shipped MCP servers on the same day, one week ahead of Cannes Lions. Pinterest's is an invite-only alpha; Microsoft's is a broadly available pilot. Neither is indexed in MCPFind's directory yet. Here's the real difference between them.
Read article
Home Assistant MCP Server: 4 Options Compared for Claude
Home Assistant has no vendor-official MCP server, so four community projects fill the gap, each with a different architecture. This guide compares voska/hass-mcp, homeassistant-ai/ha-mcp, achetronic/hass-mcp, and a custom-component option so you can pick the one that matches your setup.
Read article
Claude Skills vs MCP Servers: What's the Difference?
Claude Skills and MCP servers are not competitors. Skills package instructions an agent loads on demand; MCP servers connect that agent to systems outside its own process. This guide breaks down how each works, what each costs in context tokens, and how to decide which one to build next.
Read article