{"server":{"id":"chimera-protocol-csl-core-fd2f1ba39f56","name":"Chimera-Protocol/csl-core","title":"Chimera-Protocol/csl-core","description":"Deterministic AI safety policy engine with Z3 formal verification: write, verify and enforce machine-verifiable constraints for AI agents.","category":"Other","transport":"Unknown","pricing":"Unknown","website":"https://github.com/Chimera-Protocol/csl-core","repository":"https://github.com/Chimera-Protocol/csl-core","version":"","manifest":"{\"name\":\"Chimera-Protocol/csl-core\",\"repository\":{\"url\":\"https://github.com/Chimera-Protocol/csl-core\"},\"remotes\":[],\"packages\":[]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"Chimera-Protocol/csl-core MCP server","seoDescription":"Deterministic AI safety policy engine with Z3 formal verification: write, verify and enforce machine-verifiable constraints for AI agents.","createdAt":"2026-11-04T07:18:57.541Z","updatedAt":"2026-11-04T07:58:36.806Z"}}