Argument Validator

Overview

Provide a repeatable workflow for turning informal arguments into formal structure, identifying key assumptions, and checking validity and soundness with optional Lean formalization.

When to Use

Use this skill when the user asks to:

• Validate or critique an argument
• Formalize an argument in logic or Lean
• Identify hidden assumptions or missing premises
• Test an argument with counterexamples
• Research whether premises are supported by evidence

Do not use this skill for:

• Simple opinion questions without an argument
• Purely stylistic rewrites
• Codebase-only reasoning tasks