create-formal-verification-skill

Builds a tool that mathematically proves your code works correctly in tricky situations like race conditions, so you catch bugs before they cause real problems.

The full skill text could not be loaded right now. It installs fine with the command above, or read it at the source.

Mirrored from the author's public source. Install counts from the open skills registry.