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

prove-fix

// [Code Quality] Use when you need prove fix correctness with code proof traces, confidence scoring, and stack-trace-style evidence chains.

$ git log --oneline --stat
stars:6
forks:1
updated:May 6, 2026 at 08:19
SKILL.md
readonly