The real catalog of tools for AI agents

Reasonbook: decisions that survive the session, in a local record AI agents keep.

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.

SWI-Prolog as a logic calculator for LLMs

Verify timestamp proofs offline, anchor hashes through ProofLedger, keep agent run receipts.

Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography

Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.

Evidence-backed web verification for agents with deterministic JSON, text evidence, and screenshots.

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

Verify whether a supplied public source currently supports one atomic factual claim.

One API, all things verified — control, delegation, human approval, anti-impersonation.

Prove a real, unique human performed an action; mint a signed, verifiable Proof-of-Human credential.

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Track client quote and proof revisions, approvals, and work status.

Verify whether an official SEC filing supports a specific financial claim.

Add a text box that proves a human typed it, not AI. Code for any framework; verify proof tokens.

Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.

Verify an agent's advertised route, price, payment details, and schemas against its live endpoint.

Create and modify Font Proof documents programmatically (PDF font proofs, live from Glyphs.app).