Loading...
Loading...
Found 2 Skills
CLI application patterns and best practices
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.