ПРОФИЛЬ / БЕЗОПАСНОСТЬ
csl-core
Создание, формальная проверка и применение ограничений ИИ-агентов с помощью Z3.
СВЕДЕНИЯ ИЗ ИСХОДНОЙ БАЗЫ
О проекте
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP
Исходное описание, снимок базы от 2026-10-03. Это не самостоятельная проверка редакции all-mcp.ru.
СОБЫТИЯ НЕДЕЛИ 2026-W40
Даты выпусков из сохранённого снимка
Известны дата и версия. Состав изменений и работоспособность не проверялись.