Faceabot

The real catalog of tools for AI agents

Google tells you what exists. Faceabot tells you what holds up.

38,657real tools

24,539callable over HTTPS

4,581measured

0proven reliable

mcp-z3-prover Not measured yet

MCP server exposing Z3 solver API

Package pypi : mcp-z3-prover · website · measurements and details

prover Not measured yet

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

MCP endpoint : https://prover.axiomatic-ai.com/mcp/ · website · measurements and details

edict Not measured yet

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.

Package npm : edict-lang · website · measurements and details

AI 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 · Add Faceabot to your AI · Help · Privacy · Terms