Verify reasoning chains before AI agents act. Pay-per-use MCP server.
Verifies AI agent wallets, domains and manifests before any transaction. Returns TRUSTED/UNVERIFIED/SUSPICIOUS/BLOCK with full signal breakdown. Connected to EMA shared brain - bad actors flagged here
Discover and evaluate technical resources by searching based on capabilities, security preferences, and risk levels. Compare multiple options side-by-side to determine which best fits specific workflo
MCP server that gives AI agents access to real-world people who listed themselves to be hired by agents. 31 tools including search by skill/location/equipment, job offers, job board listings, in-job m
AI Constraint Engine with AI Patch Firewall. 42 MCP tools. Patch Gateway (ALLOW/WARN/BLOCK verdicts), diff-native review (10 scored signals, hard escalation rules), Spec Compiler, Code Graph, Typed co
Explore the Arch Linux ecosystem with fast search across the Arch Wiki, AUR, and official repositories. Manage packages, updates, mirrors, and logs with built-in safety checks and clear, structured re
Search SFR’s catalog using natural language and refine results with filters. View product and variant details, then build and update carts with shipping, discounts, and checkout. Get quick answers t
Trust infrastructure for AI agents — register DIDs, verify identities, query reputation scores, rate agents, manage W3C Verifiable Credentials, and handle USDC credit deposits on Base.
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Register and verify decentralized identities to establish secure, trusted interactions. Manage reputation scores and verifiable credentials to validate reliability within a decentralized network. Trac
Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy. Perfo
Manage COTI accounts, switch networks, and sign or verify messages. Deploy and manage private ERC20 tokens and ERC721 NFTs, including minting, transfers, approvals, and balance or supply checks. Call
Create and manage collections of companies, people, and papers, automatically discovering and verifying relevant entities. Enrich items with custom fields like CEO name, funding amount, or company sta
A universal commerce gateway for AI agents to interact with UCP-enabled stores. Enables live product discovery, real-time catalog search, and checkout generation across verified Shopify stores (e.g.,
Automate and accelerate Indian legal research with intelligent tools that search precedents, extract legal principles, build research memos, format citations, and verify citation accuracy. Reduce rese
Governance primitives for autonomous agents — verify actions against policy, record signed provenance, and bind intents cryptographically. Free tier: 100 calls/month.
Send emails securely using the 126 email service with SMTP support. Enable sending plain text and HTML emails with CC and BCC options. Verify SMTP connections easily to ensure reliable email delivery.
Retrieve comprehensive registration details for any domain. View nameservers, contacts, statuses, and key dates to verify ownership and history. Investigate suspicious domains, validate transfers, and
ContactOut MCP unlocks instant access to verified professional emails and phone numbers, helping you reach prospects, candidates, and partners with ease. All you need is your ContactOut API key to get
Retrieve the current device's MAC address instantly. Use it to identify a device, verify network access, or populate inventory records. Simplify workflows that need a stable hardware identifier.
Manage invoices, partners, and business expenses through the Billingo platform. Create, send, and track documents while verifying Hungarian tax numbers and accessing real-time exchange rates. Streamli