Проверка технических утверждений в документах

★ 7.5 · research

adversarial-claims-reviewer — это скилл для Claude Code, который проводит враждебную проверку формальных и технических утверждений в документах: математических выводов, физических статей, статистических анализов, отчётов о бенчмарках и вайтпейперов. Скилл инвентаризирует каждое уравнение и количественное утверждение, присваивает ему ID (C1, C2, …) и классифицирует строго по четырём вердиктам — VERIFIED, REFUTED, UNVERIFIABLE, VACUOUS — проверяя утверждение именно в той формулировке, которая дана в тексте, а не в соседнем или упрощённом варианте. Верификация выполняется детерминированными средствами: SymPy/numpy-скриптами, выходящими с ненулевым кодом при ошибке, числовыми spot-check'ами и размерным анализом. Итоговый отчёт заполняется по шаблону: сначала счётчики вердиктов, затем самая критичная находка, затем построчные обоснования с путями к скриптам. Подходит всем, кому нужно проверить, держится ли математика в научной статье, whitepaper или benchmarkотчёте.