Vero: AI должен доказать, что код правильный
Vero — первый бенчмарк, где AI-агент пишет многофайловый проект и формально доказывает его корректность через Lean 4. Лучший агент решил 27 из 43 задач.
← Карта тем
Направление
Безопасность и надёжность
Доступы, секреты, песочницы, evals и контроль над поведением агентных систем.
15 материалов БлогЗнание
Подборка
Блог
2 материал(ов) в направлении «Безопасность и надёжность».
Подборка
База знаний
13 материал(ов) в направлении «Безопасность и надёжность».
База знаний
Seafile: файловое хранилище на своём сервере с S3-бэкендом
Seafile — self-hosted альтернатива Google Drive и Dropbox с блочным хранением, версионированием и S3-бэкендом в Pro-редакции. Архитектура, лицензирование, риски и выбор провайдера.
База знаний
Один агент — один ключ: настройка доступа для ботов и интеграций
Как настроить права доступа для ИИ-агентов и интеграций: принцип минимальных привилегий, типы ролей, практика в Notion и базах данных, чеклист перед запуском.
База знаний
OpenSandbox — песочница Alibaba для изоляции агентного кода
Open-source платформа для изолированного выполнения кода, браузинга и обучения моделей в AI-агентах. Единый API поверх Docker и Kubernetes, SDK для пяти языков, интеграции с Claude Code, Codex и Gemini CLI.
База знаний
Eval-конвейер для AI-агентов: golden tasks, метрики, regression gate
Как тестировать AI-агентов: golden tasks, слои проверок, метрики (pass rate, cost, latency, safety), grader hierarchy, regression gate, adversarial suite и калибровка model grader.
База знаний
Сбор данных из соцсетей: какие API работают
Семь платформ, семь разных правил: где найти официальный API, сколько запросов дают бесплатно и почему скрапинг всё чаще заканчивается блокировкой.
База знаний
Почтовый агент: как подключить AI к отдельному ящику и не сломать безопасность
Практический разбор подключения AI-агента к отдельному почтовому ящику: Google Workspace, Microsoft 365, Яндекс 360, Cloudflare Email Service, helpdesk и unified API. Схемы, OAuth-нюансы, юридические стоп-линии и MVP на одном адресе.
База знаний
Google Workspace: как собрать корпоративную почту и рабочий контур на домене компании — без боли, с запасом по безопасности
Google Workspace от А до Я для новичка: тарифы, домен, MX/SPF/DKIM/DMARC, 2FA, миграция почты, групповые адреса и подводные камни при запуске. С пошаговой настройкой и реальным чеклистом безопасности.
База знаний
Cloudflare DNS, Workers и Tunnels: три сервиса, которые закрывают инфраструктуру на бесплатном тарифе
Как собрать DNS, серверный код и доступ к localhost на бесплатном тарифе Cloudflare: типы записей, оранжевое облако, Workers с KV и R2, Tunnels без белого IP и Access для авторизации.
База знаний
Cloudflare для сайта: что вы получаете бесплатно и когда этого хватает
Что Cloudflare закрывает бесплатно для владельца сайта: DNS, CDN, SSL, DDoS-защита, Email Routing. Когда хватает Free, зачем платить $25/мес за Pro, типичные ошибки подключения и как их обойти.
База знаний
TimeWeb, Selectel, Beget, Yandex Cloud: какой российский VPS взять и как его защитить за полчаса
Сравнение четырёх российских провайдеров VPS по сценариям: pet-проект, production, новичок, высокие нагрузки. Выбор тарифа по CPU, RAM, диску, локации. Первичная настройка: SSH, firewall, fail2ban, swap, часовой пояс, автообновления. Caddy и nginx для HTTPS.
База знаний
ClawPatch: код-ревью, которое видит фичу целиком, а не отдельный файл
Open-source CLI от команды OpenClaw, который ревьюит код по фичам через Codex CLI с аудит-трейлом. Возможности, команды, безопасность, практические сценарии.
База знаний
Многоагентные системы в OpenClaw: команда ИИ в одном контуре
Multi-Agent Routing в OpenClaw: четыре роли с изоляцией памяти, межагентское общение через sessions_send, безопасность и стоимость. Справочник по настройке и эксплуатации.
База знаний
29 миллионов секретов на GitHub: как не добавить свой
GitGuardian State of Secrets Sprawl 2026. Реальные цифры утечек, защита API-ключей и чеклист безопасности.