"Information about SQL (Structured Query Language)" matching MCP connectors:

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.

The OpenZeppelin Cairo Contracts MCP server generates secure smart contracts in the Cairo language for Starknet environments based on OpenZeppelin templates. It brings OpenZeppelin's proven security and style rules directly into AI-driven development workflows to create safe, production-ready contracts. Key capabilities include providing templates for ERC-20, ERC-721, ERC-1155, Multisig, Governor, and Vesting contracts.

DBRE-grade SQL analysis inside any MCP client. No connection. No install. Paste a query.

Query your product's living memory: module map + analyzed change history. Read-only MCP tools.

## Skill Catalog The library contains 42 public skills organized by Rails development concern. | Category | Examples | |----------|----------| | Planning | `create-prd`, `generate-tasks`, `plan-tickets` | | Testing | `plan-tests`, `write-tests`, `test-service`, `triage-bug` | | Code quality | `code-review`, `respond-to-review`, `security-check`, `refactor-code` | | Architecture and DDD | `define-domain-language`, `review-domain-boundaries`, `model-domain`, `review-architecture` | | Rails imple

Kotlin compile-time SQL library. Docs, code validation, and SQLite execution tools.

Paid remote MCP for agent code search routing MCP, structured receipts, audit logs, and reviewer-rea

Remote MCP for A2A dependency inspector MCP, structured receipts, audit logs, and reviewer-ready evi

Compare two JSON files deeply without worrying about key or array order. Detect missing, extra, an…