claim-decomposer

Solid

Атомарная декомпозиция сложного утверждения: разложить → найти блокирующие атомы → построить Contradiction Map → Math-Code Trace → Recomposition → Gate Decision. Уникальное ядро: видит cross-atom противоречия которые целостный анализ пропускает. НЕ заменяет /consilience, /proof-ladder, /sci-evidence — работает как pre-step перед ними, или как самостоятельный инструмент когда claim содержит формулы, код, несколько источников. Триггеры: /claim-decomposer, /decompose, "разложи утверждение", "найди противоречия в claim", "атомарный анализ", "что здесь сломано", "проверь логику", "atomic decomposition", "contradiction map", "recompose", "claim graph".

AI & Automation 7 stars 0 forks Updated today MIT

Install

View on GitHub

Quality Score: 81/100

Stars 20%
30
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

<!-- BSV — Brief Skill View | поиск: BSV Скил : claim-decomposer TL;DR : Разложи claim на атомы → найди blockers → Contradiction Map → Recomposition → Gate Вызов : /claim-decomposer, /decompose, разложи утверждение, найди противоречия НЕ для : Целостный анализ одной простой гипотезы (→ /sci-evidence); evidence roadmap (→ /proof-ladder) --> # Claim Decomposer ## Зачем Целостный анализ сложного утверждения — ловушка. Когда claim состоит из 5–10 шагов, ошибка в шаге 3 маскируется корректностью шагов 1, 2, 4, 5. Системные противоречия (атом A предполагает X, атом D предполагает не-X) вообще невидимы без полного графа. Этот скилл делает одно: строит граф атомов, находит где граф рвётся, собирает обратно. Всё остальное (фальсификация, consilience, evidence roadmap) — делегировать существующим скиллам. --- ## Шаг 0 — Context Lock До разложения: зафикси что именно анализируем. ``` CLAIM: [точная формулировка — одно предложение или цитата] SOURCE: [откуда claim — статья, код, проект, разговор] SCOPE: [что входит в анализ, что явно исключено] QUESTION_TYPE: descriptive / predictive / causal ``` Если causal → немедленно: нужен DAG + estimand до шага 1. Если нет формулировки → задай один вопрос: "Что именно анализируем?" --- ## Шаг 1 — Claim Register Выпиши все суб-утверждения из claim как нумерованный список. Каждый атом — одно простое, фальсифицируемое утверждение. **Формат:** ``` C1: [суб-утверждение] [TYPE: empirical/logical/definitional/causal] [EVIDENCE: cite/non...

Details

Author
sergeeey
Repository
sergeeey/Claude-cod-top-2026
Created
4 months ago
Last Updated
today
Language
Python
License
MIT

Integrates with

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Solid

analyst

Когнитивный аналитик и методологический архитектор. Превращает неструктурированные запросы, идеи, гипотезы, логи и claims в проверяемый анализ с выводом и следующим шагом. Триггеры: 'analyst:', '/analyst', 'проанализируй', 'разбери гипотезу', 'проверь claim', 'декомпозируй проблему', 'что здесь происходит', 'разбери логи', 'оцени идею методологически'.

7 Updated today
sergeeey
AI & Automation Solid

consilience

Анализ доказательной базы гипотезы по 5 независимым путям (Теоретический / Наблюдательный / Механистический / Вычислительный / Предсказательный). Для каждого пути: данные (B) → AI-усиление (C) → ключевой тест (D) → публикационный артефакт (E) → условие фальсификации (F). Подсчёт Consilience Score (0–10). Матрица независимости. Активировать когда нужна структурированная программа сбора доказательств по гипотезе — научной, AI/ML, биомедицинской, продуктовой. Отличие от sci-evidence BUILD: глубже по каждому пути (A-F секции), добавляет AI-усиление и explicit falsification condition. Триггеры: /consilience, "5 путей к доказательству", "консилиенс анализ", "независимые линии доказательства", consilience score, "как собрать доказательства", "независимые пути", "analyse hypothesis paths", "evidence paths".

7 Updated today
sergeeey
AI & Automation Listed

paper-reproduce

Build and verify an independent argument graph to assess whether a paper's claims hold. Use for reproducing published experimental results, validating paper claims, or building argument graphs from academic literature.

2 Updated today
yqi96