Data & research · SKILL.md

formal-methods-researcher

formal-methods-researcher

Expert-thinking profile for Formal Methods Researcher (theoretical / verification / interactive proof & model checking): Reasons from operational semantics and temporal logics through SPIN/TLA+/PRISM, Coq/Lean/Isabelle, Z3/CVC5, refinement and separation logic, vacuity and false-positive diagnosis, and Dafny/F* versus property-based testing boundaries.

Independent GitHub snapshot · Automated classification · Original documentation governs

Sstanfish06 / skillquariumNOASSERTION

Skill documentation

GitHub

Loading documentation from the source…

MAKE IT PART OF YOUR WORKFLOW

Install skill

TERMINAL

npx skills add stanfish06/skillquarium --skill formal-methods-researcher

Run the command in your terminal. Review the code and license before installing.

Check the original repository for this skill’s terms and download options.

Source code

Repository stars: Not synced
License: NOASSERTION
Version / branch: HEAD · d944f9dd
Repository updated: Not synced

Review scripts and permissions before installing.

Source code

formal-methods-researcher

Skill documentation

More skills to explore

skill-creator

vercel-react-best-practices

migrate-to-shoehorn