signum

Category: Data & AI | Uploader: heurema | Downloads: 0 | Version: v1.0（Latest）

Use when the user wants contract-first development — define correctness before coding, implement against a contract, audit with multiple models, and package proof artifacts.

Changelog: Source: GitHub https://github.com/heurema/signum