Skip to main content
Run any Skill in Manus
with one click

signum

Stars17
Forks2
UpdatedJuly 20, 2026 at 17:46

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

Installation

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

SKILL.md
readonly