用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/benjam3n/reasoningtool --skill dari命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
基于 SOC 职业分类
正在显示 SKILL.md
| name | dari |
| description | Bridges the deductive strategy system with adversarial review testing for maximum strategy confidence. |
| output | {"format":"prose"} |
Input: $ARGUMENTS
Bridges the deductive strategy system with adversarial review testing. The deductive system provides logical derivations (proofs). Builder-breaker provides adversarial attacks. Together, they produce strategies that are both logically derived (not guessed) AND battle-tested (survived attacks).
This is the highest level of strategy confidence.
First, derive the strategy using the logical proof system:
DEDUCTIVE OUTPUT:
Strategy: [what was derived]
Proof strength: [strong / moderate / weak]
Critical assumptions:
1. [assumption] — confidence: [H/M/L]
2. [assumption] — confidence: [H/M/L]
Weakest inference: [which step is least certain]
From the deductive analysis, identify what to attack:
| Attack Target | Source | Why It's Vulnerable |
|---|---|---|
| [assumption 1] | Critical assumption | If false, strategy collapses |
| [inference X] | Weakest step | Relies on [type of reasoning] |
| [axiom Y] | Problem definition | May not be complete/accurate |
| [missing factor] | Completeness gap | Not in the proof at all |
→ INVOKE: /advr (adversarial review) targeting the identified weaknesses:
Builder presents: The derived strategy with its proof chain Breaker attacks: Each identified vulnerability, plus any additional weaknesses found
For each attack:
ATTACK: [description]
Target: [which part of the proof]
Severity: [fatal / serious / minor]
Builder response: [refute / repair / reinforce / concede]
Proof impact: [proof holds / proof weakened / proof collapses]
After adversarial review, reassess the derivation:
| Original Assessment | After Attack | Change |
|---|---|---|
| Proof strength: [X] | Proof strength: [Y] | [stronger/same/weaker] |
| Assumption 1: [confidence] | Assumption 1: [new confidence] | [up/same/down] |
| Assumption 2: [confidence] | Assumption 2: [new confidence] | [up/same/down] |
| Strategy: [derived] | Strategy: [revised?] | [unchanged/modified/abandoned] |
| Level | Criteria | Description |
|---|---|---|
| Proven | Strong proof + survived all attacks | As confident as we can be |
| Robust | Moderate proof + survived most attacks | High confidence, some uncertainty |
| Plausible | Weak proof but survived key attacks | Reasonable but not certain |
| Fragile | Strong proof but fell to attacks | Logically sound but practically vulnerable |
| Dubious | Weak proof and fell to attacks | Low confidence — reconsider |
| Refuted | Proof collapsed under attack | Strategy should be abandoned |
If Proven/Robust: Proceed with the strategy. Document the proof and attacks it survived.
If Plausible: Proceed cautiously. Identify what additional evidence would upgrade confidence. Test the weakest assumptions first.
If Fragile: The logic is sound but reality may not cooperate. Design experiments to test the vulnerable assumptions. Have contingency plans.
If Dubious/Refuted: Do NOT proceed. Either:
DEDUCTIVE-ADVERSARIAL INTEGRATION:
Strategy: [what was analyzed]
Deductive phase:
- Proof strength: [level]
- Critical assumptions: [N]
- Weakest inference: [which]
Adversarial phase:
- Attacks attempted: [N]
- Attacks survived: [N]
- Fatal attacks: [N]
- Strategy modified by attacks: [Y/N — how]
Final confidence: [Proven / Robust / Plausible / Fragile / Dubious / Refuted]
If proceeding:
- Strategy: [final version after modifications]
- Key risk: [weakest surviving point]
- Monitor: [what to watch for]
If not proceeding:
- Why: [which attacks were fatal]
- Alternative: [what to do instead]