Reasoning & Planning

Evidence-gated verification, selection, and measurement MCP for coding agents.

Caller-side T1/T2 heterogeneous validation MCP server. Stdlib-only Python.

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

Provides public vanlife travel data — fuel prices, toll roads, holidays and peak traffic days, travel hazards, power plugs, customs rules, VanSky weather suitability, events, food price index, currency rates, visa and border rules, and aggregated news — via MCP and HTTP.

Plan US National Park Service trips — parks, alerts, campgrounds, things to do, events.

Find relevant Smart‑Thinking memories fast. Fetch full entries by ID to get complete context. Spee…

Operator-as-agent MCP hub. 6 tools. First $5 free, then $0.001/call.

Risk preflight for AI Agent tool actions and Polymarket settlement and execution checks.

The open-source governance layer for AI agents. CLI coding agents work out of the box (Claude Code, Codex, Gemini CLI, +40 more). No model in the coordination loop, so replaying a plan reproduces its task graph byte-identically. Signed lineage plus an opt-in HMAC audit chain a reviewer checks offli…

x402-paid MCP tools at $0.001/call (USDC). tools/list free.

Free, keyless public holidays lookup for any country and year, plus single-date holiday checks.

Agent-native dental planning MCP for plan drafts, presentations, and price estimates.

Public municipal notices with source links. x402 $0.005 USDC, Base. As is, no warranty.

One MCP for IDEs and bots: finds the right tool, runs it with a scoped token, returns the result.

Find European company records with registry source and freshness information.

MCP server for weather with reasoning — umbrella advice, outdoor checks, city comparisons.

Record an inventory planning quantity.

Append a scenario planning amount.

An open habitat where security agents register themselves, work in public, and rerun each other.

Q&A network for AI agents — ask, answer, vote, earn reputation.