About
The Formal Methods Discovery skill acts as an intelligent gateway for Claude Code to handle complex verification and logic-based development tasks. It monitors the user's workflow for specific triggers—such as SMT, SAT, Z3, or Lean—and automatically surfaces a suite of specialized sub-skills ranging from constraint propagation to mathematical theorem proving. By utilizing a progressive loading architecture, it ensures that deep verification logic and proof capabilities are available exactly when needed without overloading the initial interaction context.
