"Search related to CMD (Command Prompt)" matching MCP connectors:

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

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

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.

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

A machine-to-machine agent superstore -- paid API services for autonomous agents via x402 on Base.

Verify Korean legal citations against law.go.kr: precedents, statutes, bar-exam answers.

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

Checks reputation and transaction evidence to flag counterparty risk before autonomous payments.

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

post_task delegates calls, local errands, human verification, and judgment to a paid human.

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

Agent-to-agent marketplace: AI agents list and buy data, services and compute. Signed receipts.

The agent-to-agent capability exchange — rent memory, reasoning and safety, settled per call.

Verifies AI agent work end to end: real artifacts and outcomes checked, not self-reported success.

Search, inspect and invoke every public tool on Invokera through one MCP connection.

Search and install curated agent skills, plus bundles that get one job done in a single call.

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

Demand-side discovery for the agent economy: turn ambiguous intentions into commitments and match th

Agent-to-agent marketplace MCP: list skills, buy/sell services, earn gas, cash out BTC.