🐍 🏠 🍎 🪟 🐧 - Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Cross-referenced across 55 tracked directories
#556
Popularity Rank
3 / 55
Listed In
Growing
Adoption Stage
3/10/2026
First Seen
8
GitHub Stars
Score: 100/100
0 dependency vulnerabilities found
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
dbt-labs
🎖️ 🐍 🏠 ☁️ - Official MCP server for [dbt (data build tool)](https://www.getdbt.com/product/what-is-dbt) providing integration with dbt Core/Cloud CLI, project metadata discovery, model information, and semantic layer querying capabilities.
...moregenomoncology
🐍 ☁️ - Biomedical research MCP server providing access to PubMed, ClinicalTrials.gov, and MyVariant.info.
oraios
🐍 🏠 - A fully-featured coding agent that relies on symbolic code operations by using language servers.
korotovsky
📇 ☁️ - The most powerful MCP server for Slack Workspaces.
A Awesome MCP Tools | 3/13/2026 | 3/25/2026 |
6
Forks
8
Open Issues
3/27/2026
Last Commit
Gaining traction in the ecosystem
Cross-Posting Opportunities
Could also be listed in these directories: