MCP Find
Browse Servers
Blog
Docs
Submit Server
Back to Directory
/
Other
gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Other
v0.5.2
View on GitHub
Learn More
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
OpenAI Agents SDK vs MCP: Which Should You Build With?
The OpenAI Agents SDK and MCP are not competing standards. OpenAI added native MCP support to the Responses API in May 2025. This guide shows when to use SDK built-in tools, when MCP server portability matters, and how to wire both together in the same agent.
Read article