This skill should be used when users want to validate or critique an argument by extracting premises, surfacing hidden assumptions, checking logical validity, optionally formalizing in Lean, and researching premise support.
This skill should be used when users want to validate or critique an argument by extracting premises, surfacing hidden assumptions, checking logical validity, optionally formalizing in Lean, and researching premise support.
Category: science-education (科学教育) · Author: nateberkopec · Version: @main
npx skills add nateberkopec/argument-validator下载完整 Skill 目录，包含 SKILL.md 及所有相关文件
Category:science-education