🐍 🏠 🍎 🪟 🐧 - 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
#573
Popularity Rank
3 / 55
Listed In
Growing
Adoption Stage
2/6/2026
Created
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.
datalayer
🐍 🏠 - Model Context Protocol (MCP) Server for Jupyter.
sammcj
An MCP server that provides LLMs access to other LLMs
yuna0x0
📇 ☁️ - A MCP server integrating AniList API for anime and manga information
browserbase
🎖️ 📇 - Automate browser interactions in the cloud (e.g. web navigation, data extraction, form filling, and more)
A Awesome MCP Tools | 3/13/2026 | 4/4/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: