MCP-инструмент, который заставляет ИИ-агента при написании кода доказывать выполнение задач графом проверяемых утверждений, а не просто говорить готово.
Decompose DAG превращает цель разработки в граф утверждений: каждое разбивается на части, и агент обязан подтверждать их снизу вверх доказательствами, привязанными к коммиту и хешам файлов. При изменении файлов связанные проверки на дашборде помечаются устаревшими, а найденные проблемы фиксируются на утверждении, которое они опровергают. Цель — решить две проблемы кодинга с ИИ: ложные отчёты о готовности и бесконечные аудиты без ясной картины проверенного.
Описание автора:Decompose DAG: an epistemic scaffold for vibe coding. Claims graph, MCP server for agents, live dashboard for humans.
