discover-formal

•published 2026/01/13

Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.

Install directly with the `skills` CLI.

npx skills add rand/cc-polymath/skills/discover-formal

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content