CC

MCP-сервер

csl-core

Автор: Chimera-Protocol · Безопасность

Описание из исходного каталога

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP

Категория
Безопасность