"Finding source code search tools similar to Probe" matching MCP connectors:

Workflow planning, recovery checkpoints, coordination, fixtures, and compatibility tools for agents.

Open scientific and engineering knowledge for AI agents: search, evidence, document publishing.

Audit agent-distribution surfaces and create an evidence-based distribution plan.

Evidence-gated task verification for AI agents. Decompose goals into acceptance criteria, attach proof (screenshot, curl, file), independent LLM judge accepts or rejects. 24 tools. Hosted remote MCP (streamable-http, OAuth 2.1 + DCR).

Shared long-term memory vault for AI agents with 20 MCP tools.

Canonical vocabulary server for autonomous business design. Exposes the Arco Lexicon as seven MCP tools: term lookup, related terms, alignment verification, citation formatting, source retrieval, term listing, and term suggestion. No authentication required. Streamable HTTP transport.

Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offers paid guardrails that converts natural language to formal verification proofs, that anyone can check succinctly.

Multi-Agent AI Validation: X-Z-CS Trinity. 13 tools FREE. Auditable reasoning. v0.5.54

MCP server teaching AI agents to implement TideCloak: auth, E2EE, IGA, security analysis

Hosted persistent memory for AI agents. No signup, no install—one MCP URL to remember & recall.

AI tools for agents: chat, summarize, classify, entity extraction, embeddings, transcription. x402

Autonomous research agent that pays every source it cites in USDC on Arc via x402 micropayments.

Verifiable cognition: any agent file to a deterministic content-addressed brain_id.

Public agentic AI doctrine tools plus authenticated architecture, design, and spec validators.

Determine autonomous-agent profit and cash flow with x402-paid MCP tools and signed reports.

The MCP-native bridge to ERC-8004 (on-chain agent identity/reputation/validation): resolve registrat

Self-destructing secret sharing for AI agents: encrypted burn links for credentials, plus an agent-to-agent dead-drop with exactly-once claim semantics. RAM-only, no database, open source (MIT). Source: https://github.com/mmmpym/flashpaper

Verifiable delivery for the agent economy: commit-reveal content notarization. Sellers commit to a d

Quant tools + an NFL fantasy draft assistant for AI agents — Kalshi & Polymarket EV, edge, ADP.

Developmental agents + Wu Wei compute routing: evolve from outcomes, route to cheapest reliable.