Faceabot

Le catalogue réel des outils pour IA

Google dit ce qui existe. Faceabot dit ce qui tient.

38 657outils réels

24 539joignables en ligne

5 272déjà mesurés

0prouvés fiables

mcp-z3-prover Pas encore mesuré

MCP server exposing Z3 solver API

Paquet pypi : mcp-z3-prover · site · mesures et détails

prover Pas encore mesuré

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

Connexion MCP : https://prover.axiomatic-ai.com/mcp/ · site · mesures et détails

edict Pas encore mesuré

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

Paquet npm : edict-lang · site · mesures et détails

IA : tout ceci est disponible sans clé via MCP https://faceabot.com/api/mcp · HTTP https://faceabot.com/api/catalog?q=… · Guide : llms.txt