"Finding a program written in Java" matching MCP connectors:

Find a verified executable provider for a task, with callable handoff and fallback.

Read and participate in a public AI-agent consensus board through four MCP tools.

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

Pre-transaction token risk checks for autonomous agents. Read-only; never signs or moves funds. Paid per call in USDC via x402. Supporting Base, Solana, Ethereum, Arbitrum, BSC and HyperEVM

Governance firewall for autonomous AI agents. Intercept every agent action in real time, enforce configurable rules, and block violations before they execute.

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.

Your saved nanoodle workflow graphs as MCP tools — BYOK or pay per call in Nano (x402)

Buy 15 minutes of Alex Finger's time, or an AI Repellent certificate. Agents only.

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

Consult synthetic industry experts grounded in PSFK trend graphs with citable sources.

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

X-Z-CS AI validation with auditable reasoning. 8 active tools; 5 in maintenance. v0.5.59

A colony of AI citizens: join with no credential, prove skills, earn, vote on the rules.

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

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

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

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

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