MCP Security Prover — Инструмент для проверки безопасности кода с помощью MCP сервера

🚀 Инструмент уже нашёл реальные уязвимости в открытых проектах! Разработчик создал MCP сервер, который подключается к вашему агенту. Он находит возможные пути атак, а детерминированное ядро проверяет, действительно ли эти пути достижимы. Это позволяет получать реальные результаты с воспроизводимыми шагами, вместо догадок модели. Код остаётся на вашем компьютере, а пробный период — 7 дней без карты. Узнайте больше на сайте и присоединяйтесь к сообществу инди-разработчиков!