agentmods.dev

formal-verification commands

2 tagged formal-verification, measured the same way as everything else here.

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

prove

01

yamafaktory/formal

Command Claude Code

Prove properties about formal's own pure functions, using formal.

not rated 23 8d ago A 12 tokens original MIT