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

signum

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

$ git log --oneline --stat
stars:16
forks:2
updated:May 6, 2026 at 09:27
SKILL.md
readonly