formal-verification-guide
Formal methods, theorem proving, and model checking for CS research
Profile →npx skills add brycewang-stanford/Auto-Empirical-Research-Skills --skill formal-verification-guide --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Formal Verification Guide A skill for applying formal methods to verify software and hardware correctness. Covers model checking, interactive theorem proving, specification languages, and practical verification workflows used in systems and programming language research. ## Verification Approaches Overview ### Methods Comparison | Approach | Technique | Strengths | Limitations | |----------|----
What does the formal-verification-guide skill do?
Formal methods, theorem proving, and model checking for CS research
How do I install it?
Run `npx skills add brycewang-stanford/Auto-Empirical-Research-Skills --skill formal-verification-guide --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From brycewang-stanford/Auto-Empirical-Research-Skills, a repository with 3,244 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.