"author:www-zerotrusted-ai" matching MCP connectors:
Matching Connector Tools:
DBRE-grade SQL analysis inside any MCP client. No connection. No install. Paste a query.
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 official Svelte MCP server providing docs and autofixing tools for Svelte development
Pre-flight check for AI coding agents: hallucinated packages + hardcoded secrets. Free, no account.
AI-native git hosting — repos, PRs, issues, CI gates, and AI code review over MCP (60 tools).
Free read-only AI coding verification tools: verification-debt calculator, task-spec lint, search.
An MCP server that gives your AI access to the source code and docs of all public github repos
Exact text tools for AI agents: unified diff, patch apply, regex testing, grapheme counting.
OSS libs in your stack, really used: source, tests, callers. C#, Java, TS, Python, Rust, PHP+.
Scan any public GitHub MCP-server repo for security issues. 37 MCP-specific L1 rules, 8 languages.
MCP server for YAML: validate & lint, convert between 10 formats, visualize as diagrams, and create/edit your saved diagrams — from your AI editor.
Pre-commit code quality guardian. Detects semantic drift in AI-generated code.
MCP server providing Pine Script v6 documentation. Enables AI to: Look up Pine Script functions and validate syntax Access official documentation for indicators, strategies, and visuals Understand Pine Script concepts (execution model, repainting, etc.) Generate correct v6 code with proper function references
Cloudflare Workers MCP server: code-pattern-risk-scanner
Real-time Python package and vulnerability data for AI coding agents.
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.
The OpenZeppelin Stylus Contracts MCP server generates secure smart contracts for the Arbitrum Stylus environment using OpenZeppelin templates, including ERC-20, ERC-721, and ERC-1155 standards. It automatically validates generated code against OpenZeppelin's security and style rules, enforcing best practices for imports, modifiers, naming conventions, and security checks to prevent common vulnerabilities. The server integrates with AI development tools like Cursor, Claude, Gemini, Windsurf, and VS Code to enable AI-assisted, production-ready smart contract development.
The OpenZeppelin Solidity Contracts MCP server integrates OpenZeppelin's security and style rules into AI-driven development workflows, enabling AI assistants to generate safe, correct, and production-ready smart contracts. It automatically validates generated code against OpenZeppelin standards (including imports, modifiers, naming conventions, and security checks) and supports various contract types including ERC-20, ERC-721, ERC-1155, Stablecoins, RWA, Governor, and Account contracts through prompt-driven workflows.
Convert docs to agent-readable specs with criteria and constraints. $0.10/convert.