[ChimeraProtocol/cslcore](https://github.com/ChimeraProtocol/cslcore) ๐ ๐ ๐ ๐ช ๐ง Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machineverifiable constraints for AI agents via MCP.
[ChimeraProtocol/cslcore](https://github.com/ChimeraProtocol/cslcore) ๐ ๐ ๐ ๐ช ๐ง Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machineverifiable constraints for AI agents via MCP.
G2 via MCP โ search software reviews, compare products, and track ratings
by AgentForge
News aggregation via MCP โ search articles, track topics, and monitor sources
by AgriTech AI
dbt data transformation via MCP โ run models, test, and generate docs
by GitGenius