rigortype/rigor/rigor-docs
Claude Code and agent skill by rigortype/rigor
Trust tier 3
- community
Source check pending
Checking that the SKILL.md file is still in the repository.
Docs-only Rigor work: JA site publish and EN docs polish. No engine behaviour changes or type-spec rewrites disguised as prose. Finish Docs ready or Blocked — need human.
Install
npx vskill@latest install rigortype/rigor/rigor-docsSKILL.md
Rigor docs (ADR-115)
Load and follow:
- Role: `../../roles/docs.md`
- Contracts: `../../contracts/README.md`
Hard constraints (always)
- Docs-only — no engine / analyzer behaviour changes
- No parallel full-suite `make verify` on the host
- Do not CI-watch as a lane would
- Issues remain the backlog
- Explicit non-goals: engine files out of bounds
Output
- Docs-only diff under agreed paths (
docs/, site, changelog fragments as applicable)
Finish phrases (exact)
- Success:
Docs ready - Blocked:
Blocked — need human
Model band: Gemini Flash-class (bound by scripts/run-role.sh).
Security
- Security scanPassed, 95 of 100Pattern checks on the skill's files.
- Model reviewPassed
Quality evaluation
- Task evaluationNot runNo evaluation yet. Run one in Skill Studio.
Source
- SKILL.md in the repositoryCheckingagents/pi-harness/skills/rigor-docs/SKILL.md
Popularity
- 7-day trend score
- 5
Not refreshed yet.
Works with
Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.
- Claude Code
- Cursor
- GitHub Copilot
- Windsurf
- Codex
- Gemini CLI
- Cline
- Amp
- Roo Code
- Goose
- Continue
- Kilo Code
- Junie
- Trae
- OpenHands
- Qwen Code
- AI Agent
- Tabnine Chat
- Sourcegraph Cody
- Amazon Q
- Firebase Genkit
- Sweep
- Devin
- Phind
- Mentat
- Claude Desktop
- Aider
- GPT Pilot
- Plandex
- bolt.new
- v0
- Replit Agent
- Anse
- TypingMind
- BetterChatGPT
- LibreChat
- Warp AI
- Pieces
- Fig AI
Embed badge
[](https://verified-skill.com/skills/rigortype/rigor/rigor-docs)