"How to generate a PDF from a Markdown file" matching MCP connectors:

Goal decomposition where every "done" is proven by evidence and checked by a judge.

MCP server for generating rough-draft project plans from natural-language prompts.

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).

The PropelAuth Integration MCP Server helps you and your favorite AI agent integrate PropelAuth as quickly and easily as possible into your project. Whether you're integrating PropelAuth into your Next.js project or your FastAPI backend, the Integration MCP Server will ensure your AI agent has the best context possible for a successful integration.

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.

Deploy a multi-user web app from your agent: hosting, auth, database, and permissions.

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

Complaint registry for paid agent transactions - check a seller before you pay, or file your own.

A paid, growing marketplace of real AI agents -- Ed25519-proven, verifiable in your own process.

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

Build, validate, and deploy multi-agent AI solutions from any AI environment.

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

Cross-session idempotency, URLs as schema-validated JSON, and a record of missing capabilities.

Proof primitive for AI agents on MultiversX. Anchor file hashes on-chain as verifiable proofs.

Deterministic, receipted digital microservices. Gate A is simulation-only.

Buy a managed AI phone agent for a business, paid keylessly via x402/RLUSD on the XRP Ledger.

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

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

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