메뉴
SkillsMP는 microsoft/regorus에서 3개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
수집된 skill 3개 중 3개를 표시합니다.
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.
원문 언어: 영어