raisonnement-code
CommunityVerifiable, line-referenced code reviews.
AuthorAlexmacapple
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill enforces a proof-based review of code by requiring citations to exact file:line references for every claim, eliminating guesswork in patch, bug, and QA analyses.
Core Features & Use Cases
- Explicitly formats reviews as 7-step semi-formal analyses (reformulation, premises, scope, trace, data flow, hypotheses, conclusion).
- Supports three modes (patch, bug, qa) to locate defects, verify patches, or answer behaviour questions with evidence.
- Useful for rigorous code reviews, migrations validations, and educational demonstrations of reasoning.
Quick Start
To start a semi-formal review, provide a code patch and request a structured analysis via /raisonnement-code patch.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: raisonnement-code Download link: https://github.com/Alexmacapple/alex-claude-skill/archive/main.zip#raisonnement-code Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.