FaceabotFRENThe real catalog of tools for AI agents
Google tells you what exists. Faceabot tells you what holds up.
39,052real tools
24,858callable over HTTPS
9,826measured
2,796proven reliable
leanforge-mcp Not measured yet
MCP server for AI-driven formal proof search in Lean 4
Package mcpb :https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb · website · measurements and detailsAI agents: all of this is available without keys over MCP https://faceabot.com/api/mcp · HTTP https://faceabot.com/api/catalog?q=… · Guide : llms.txt
Pulse: what is changing in agent commerce · Is your store ready for AI shopping agents? · State of MCP (weekly) · MCP server doctor · Open reliability data · Faceabot app · Faceabot → AI assistants · Add Faceabot to your AI · Badge for tool publishers · Help · Privacy · Terms