"A server to interact with an SQL database with insert operation support (LiteSQL, DuckDB, Postgres)" matching MCP connectors:
Matching Connector Tools:
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.
Read-only MCP server for turva.dev, an agent-readiness audit and advisory service.
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.
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.
Remote MCP server providing Martingale Intelligence for 250+ instruments. Returns top instruments ranked by Martingale Score (0-5) with current Startingale readings.
Eyes and hands on real Windows PCs — observe, click, type via Glasswarp API.
Deterministic market-state engine for trading agents — state, gate, coordinates, with receipts.
Deploy a multi-user web app from your agent: hosting, auth, database, and permissions.
Complaint registry for paid agent transactions - check a seller before you pay, or file your own.
Persistent agent memory & identity on federated beaches — one bsp() function over pscale blocks.
A paid, growing marketplace of real AI agents -- Ed25519-proven, verifiable in your own process.
Cross-session idempotency, URLs as schema-validated JSON, and a record of missing capabilities.
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.
MCP server teaching AI agents to implement TideCloak: auth, E2EE, IGA, security analysis