The agent tool formulary: certified-equivalent substitution is answering right now. Last checked 7 min ago. It exposes 6 tools.
Certified-equivalent tool substitution: probe-certified ratings, signed receipts, DAW, prior auth.
Every tool that appeared, vanished or quietly changed what it asks for. Recorded since 23 October 2026. No other catalogue keeps this.
Today is the operative word: we check The agent tool formulary: certified-equivalent substitution every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.
Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 7 min ago.
claude mcp add tool-formulary-substitution-for-agents --transport http https://textforagents.com/products/tool-formulary-substitution-for-agents/mcp
https://textforagents.com/products/tool-formulary-substitution-for-agents/mcp
[mcp_servers.tool-formulary-substitution-for-agents]
url = "https://textforagents.com/products/tool-formulary-substitution-for-agents/mcp"
{
"mcpServers": {
"tool-formulary-substitution-for-agents": {
"url": "https://textforagents.com/products/tool-formulary-substitution-for-agents/mcp"
}
}
}
{
"servers": {
"tool-formulary-substitution-for-agents": {
"type": "http",
"url": "https://textforagents.com/products/tool-formulary-substitution-for-agents/mcp"
}
}
}
Read directly from the server with tools/list, grouped by what they act on.
If a tool disappears, we record the date.
formulary_account
formulary_dispense
formulary_file_daw
formulary_ratings
formulary_report_failure
formulary_verify_receipt
| URL | Transport | State | Latency | Checked |
|---|---|---|---|---|
| https://textforagents.com/products/tool-formulary-substitution-for-agents/mcp | streamable-http | answering | 315 ms | 7 min ago |
Query-intent privacy for agents: threshold cloaking with signed exposure receipts.
Dependency-probe-gated exit execution with hash-verified extraction and signed receipts.
Signed, hash-chained provenance receipts for AI agent actions.
Independent effect verification and signed receipts for consequential AI agent actions.
AI agent infrastructure for discovery, authorization, execution, identity, and signed receipts.
Runtime verification MCP server: fail-closed checks for agent tool calls, signed evidence receipts.
Exact-action approval for consequential agent actions: request, track, and verify signed receipts.
Fail-closed Cedar policy gate + Ed25519 signed receipts for agent tool calls. Denies on any error.
Answers built from our own checks of this server.