Плагины

Набор методов программной инженерии для агентов кодирования: навыки планирования на основе базовой линии, систематической отладки, гигиены промптов, проверки перед завершением и отслеживания исправлений/вывода из эксплуатации.

Плагин проверки целей на основе доказательств для DeepSeek Harness. Фиксирует цели через /ultragoal и проверяет выполнение по кодам завершения команд и сгенерированным артефактам, не позволяя модели ложно сообщать о завершении задачи.

Проверка компаний и вакансий на основе доказательств для DSH: фиксирует источники с уровнями доказательности, добавляет утверждения, ограниченные доказательствами, сверяет юридическое лицо с официальными реестрами и формирует отчёт PROCEED/VERIFY/STOP с чек-листом проверки и вопросами для собеседования.

Cordis-native, evidence-driven full-stack engineering workflow: inspect-first planning, explicit verification evidence, and approval-aware gating for sensitive operations.

Нативный для Cordis процесс полноценной инженерной разработки на основе доказательств: планирование со сначала инспекцией, явные доказательства проверки и шлюзы с учётом одобрений для чувствительных операций.

Lifecycle supervision, evidence-driven audit subagents, safe intervention, and blind acceptance gates for DeepSeek Harness