Formal Skills Discovery

Provides automatic access to comprehensive formal skills.

When This Skill Activates

This skill auto-activates when you're working with:

• formal methods
• theorem proving
• SAT
• SMT
• Z3
• Lean
• constraint solving
• verification

Available Skills

Quick Reference