菜单
SkillsMP 已收集 microsoft/regorus 中的 3 个 Skill。打开任一 Skill 可查看来源和详情。
已展示 3 / 3 个已收集 Skill。
Rigorous Verus specification and proof work for Regorus. Use when adding, strengthening, debugging, or reviewing Verus contracts, proofs, external-body boundaries, assume_specification declarations, BigInt or Number models, or minimal Verus bug reproducers.…
原文语言：英语
Fast multi-perspective code review for regorus. Use for everyday code reviews. Reviews from 3 perspectives with calibrated severity and noise filtering.
原文语言：英语
Multi-agent deep code review for regorus. Three diverse parallel discovery agents with context asymmetry, risk-triggered micro-passes, adversarial gap-finder, and verification with disproval mandates. Use for high-stakes changes.
原文语言：英语