/claim-extraction
Strategy for extracting claims from source material — identify propositions,
$ npx -y skills add yogsoth-ai/de-anthropocentric-research-engine --skill claim-extraction --agent claude-codeHow it fires
How this skill gets triggered: by you, by Claude, or both.
- Fires itselfAuto-invocation. Claude auto-loads it when your prompt matches the work.Auto-invocation is when the right skill fires by itself at the right moment, driven by a FLOW.md router and a hook, instead of you invoking it by name. It is the difference between a skill being installed and a skill actually getting used.Read the full definition →
- You can call itInvoke it directly when you want it.
- Slash command
/claim-extraction
Context preview
The summary Claude sees to decide when to auto-load this skill.
Strategy for extracting claims from source material — identify propositions,
SKILL.md
claim-extraction.SKILL.mdname: claim-extraction
description: Strategy for extracting claims from source material — identify propositions,
decompose compound claims, classify claim types, create claim pages in the vault.
execution: strategy
dependencies:
tactics:
- knowledge-structuring-claim-decomposition
sops:
- claim-page-creation
- rebuttal-documentation
Claim Extraction
Identify and extract claims from source material. Decomposes compound statements into atomic propositions, classifies claim types, and creates structured claim pages in the vault.
Budget Slice
| Metric | Small | Medium | Large | |--------|-------|--------|-------| | Sources processed | 5 | 12 | 25 | | Claims extracted | 10 | 25 | 50 | | Compound claims decomposed | 3 | 8 | 15 |
State Ledger
<HARD-GATE> Print before every iteration:
| Metric | Target | Current | % | |--------|--------|---------|---| | Sources processed | — | — | — | | Claims extracted | — | — | — | | Compound claims decomposed | — | — | — | </HARD-GATE>
Budget Gate
Cannot exit until 80% of budget targets met.
Adversarial Completeness Probe
After budget gate passes, self-check:
- Have all major positions in the debate been captured?
- Are there implicit claims that sources assume but don't state?
- Are there claims from minority/dissenting positions?
Max 2 extra iterations if gaps found.
Tactics Available
- **claim-decomposition** — break compound claims into atomic propositions
SOPs Available
- **claim-page-creation** — create a claim page in the vault
- **rebuttal-documentation** — document counter-claims and rebuttals
<!-- BEGIN available-tables (generated) -->
Available Tactics
Optional, no fixed order; the final leaf is always a sop.
| Tactic | When to use | | --- | --- | | knowledge-structuring-claim-decomposition | Tactic for decomposing compound claims into atomic propositions — identify logical structure, separate conjunctions, extract implicit assumptions. |
Available SOPs
Optional, no fixed order; the final leaf is always a sop.
| SOP | When to use | | --- | --- | | claim-page-creation | SOP for creating a claim page in the vault — atomic proposition with type classification, source attribution, and initial confidence. | | rebuttal-documentation | SOP for documenting rebuttals and counter-claims — create rebuttal pages with typed contradiction edges and source attribution. |
<!-- END available-tables (generated) -->
Read more
name: claim-extraction description: Strategy for extracting claims from source material — identify propositions, decompose compound claims, classify claim types, create claim pages in the vault. execution: strategy dependencies: tactics: - knowledge-structuring-claim-decomposition sops: - claim-page-creation - rebuttal-documentation
Claim Extraction
Identify and extract claims from source material. Decomposes compound statements into atomic propositions, classifies claim types, and creates structured claim pages in the vault.
Budget Slice
| Metric | Small | Medium | Large | |--------|-------|--------|-------| | Sources processed | 5 | 12 | 25 | | Claims extracted | 10 | 25 | 50 | | Compound claims decomposed | 3 | 8 | 15 |
State Ledger
<HARD-GATE> Print before every iteration:
| Metric | Target | Current | % | |--------|--------|---------|---| | Sources processed | — | — | — | | Claims extracted | — | — | — | | Compound claims decomposed | — | — | — | </HARD-GATE>
Budget Gate
Cannot exit until 80% of budget targets met.
Adversarial Completeness Probe
After budget gate passes, self-check:
- Have all major positions in the debate been captured?
- Are there implicit claims that sources assume but don't state?
- Are there claims from minority/dissenting positions?
Max 2 extra iterations if gaps found.
Tactics Available
- **claim-decomposition** — break compound claims into atomic propositions
SOPs Available
- **claim-page-creation** — create a claim page in the vault
- **rebuttal-documentation** — document counter-claims and rebuttals
<!-- BEGIN available-tables (generated) -->
Available Tactics
Optional, no fixed order; the final leaf is always a sop.
| Tactic | When to use | | --- | --- | | knowledge-structuring-claim-decomposition | Tactic for decomposing compound claims into atomic propositions — identify logical structure, separate conjunctions, extract implicit assumptions. |
Available SOPs
Optional, no fixed order; the final leaf is always a sop.
| SOP | When to use | | --- | --- | | claim-page-creation | SOP for creating a claim page in the vault — atomic proposition with type classification, source attribution, and initial confidence. | | rebuttal-documentation | SOP for documenting rebuttals and counter-claims — create rebuttal pages with typed contradiction edges and source attribution. |
<!-- END available-tables (generated) -->
The complete research orchestration system for AI-native science. What It Does Design Philosophy Architecture (v3.2.2) Quick Start Configuration Roadmap License DARE is not a tool that helps you do research. It is the researcher.
Repo: yogsoth-ai/de-anthropocentric-research-engine
Other skills on de-anthropocentric-research-engine.
- /formated-results
Closing skill for the research-executor, loaded as the last step of formated-specs. Summarize the design just produced into one research-result JSON fenced block in your reply. Do not execute the research.
Open skill - /formated-specs
Spec-slot skill for the research-executor. Emit the 4-layer DARE orchestration of the assigned topic as one research-graph JSON fenced block in your reply. Replaces the generic spec-writing step.
Open skill - /injection-fidelity
Loss-1 judge (codex role). Given one sample's de-identified dialogue and its PolicyCard, decide axis-by-axis whether the user-simulator enacted the card's per-axis pressure. Judge enactment of the card, never whether the research is good.
Open skill - /ladder-quality-order
Loss-2 judge (codex role). Over one topic's 6 shuffled research-design samples, pairwise-rank by quality using the D1–D5 standard. Emit the pairwise log; the harness computes the order and the ladder verdicts. Judge quality difference, never against academic standards.
Open skill - /optimization-loop
The optimizer brain for the ladder-foundry pretraining loop. Runs the two-level nested batch loop, delegates gating to gate_eval, attributes a failing batch to one weight (attribute-first), and recovers from disk after compaction. Control flow is fully scripted; only the
Open skill - /acu-nugget-recall
Tactic: Extract atomic units from one paper and score how much of a caller-supplied summary covers. Use for ACU-style binary or Nugget-style ternary recall checks; cannot run without a target summary.
Open skill

