🛡 Математическая защита для ИИ-агентов
Разработан плагин opencode-plugin-guardians для среды OpenCode, использующий решатель Z3 для формальной верификации действий ИИ. Система проверяет команды (bash, read, edit, write) в реальном времени, предотвращая path traversal и утечки секретов.
🌍 Переводит безопасность ИИ из области промптов в область математически доказуемых ограничений.
👤 Защищает систему от случайных или вредоносных действий агента при работе с терминалом и файлами.
Источник 1: https://github.com/albertjoseph0/opencode-plugin-guardians