maintain-formal-verification-skill

Updates your code verification rules when code changes, then checks if your verification still matches reality.

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.