AGENT SKILLS ATLASLean Review Council
USE FOR: orchestrating a 5-member Lean 4 proof review council (Σ Kernel Guardian, Φ Statement Oracle, Ν Novelty Scout, Λ Quality Architect, Ω Integration Sentinel); running RALPH (Review-Analyze-Learn-Plan-Handle) loops at member / council / project / meta scales; structured voting with structured-disagreement-resolution (SDR); council topology selection (Star / Pipeline / Mesh / Hierarchical / Swarm / Ring / Hub-Spoke); maximum-parallel agent dispatch with cascading completion handlers; specification lifecycle (requirements → design → docs); inter-council collaboration; Zettelkasten knowledge synthesis; calibration scoring; enforcement tactics. DO NOT USE FOR: reviewing one Lean proof in isolation (use @lean-proof-review); writing a proof (use @lean-proof); running CI scripts (use @lean-enforcement); single-skill council convocation when no multi-layer review is needed (use the relevant skill directly). TRIGGERS: review council, RALPH loop, council vote, SDR, council topology, kernel guardian, statement oracle, novelty scout, quality architect, integration sentinel, meta-council, council session.
Skill stats
Skills1CategoryProduct & designStars0
About this skill
USE FOR: orchestrating a 5-member Lean 4 proof review council (Σ Kernel Guardian, Φ Statement Oracle, Ν Novelty Scout, Λ Quality Architect, Ω Integration Sentinel); running RALPH (Review-Analyze-Learn-Plan-Handle) loops at member / council / project / meta scales; structured voting with structured-disagreement-resolution (SDR); council topology selection (Star / Pipeline / Mesh / Hierarchical / Swarm / Ring / Hub-Spoke); maximum-parallel agent dispatch with cascading completion handlers; specification lifecycle (requirements → design → docs); inter-council collaboration; Zettelkasten knowledge synthesis; calibration scoring; enforcement tactics. DO NOT USE FOR: reviewing one Lean proof in isolation (use @lean-proof-review); writing a proof (use @lean-proof); running CI scripts (use @lean-enforcement); single-skill council convocation when no multi-layer review is needed (use the relevant skill directly). TRIGGERS: review council, RALPH loop, council vote, SDR, council topology, kernel guardian, statement oracle, novelty scout, quality architect, integration sentinel, meta-council, council session.
Quick start
- Copy the install prompt. Use the green button above this README.
- Send it to your agent. Paste it into your coding agent’s chat and send.
- Review the setup. Your agent checks the skill’s instructions, requirements, and installation scope.
Installation guide →
Review, license & listing details
Review the source before using this skillThis is an imported listing. We haven’t certified its safety, license, or compatibility. Skills may include executable scripts.
Automated security scan: PartialOnly SKILL.md was scanned. Supporting files and scripts were not checked. No safety grade has been assigned.
0 potential findings · Scanned 11/4/2026 · Scanner 0.2.1
Content SHA-256: eaff4fae0105a49a412ca3347d05e324cc03deec6d88bf0b6e4c073de6ea2da4
About scan coverage and limitations Original listing metadata
Original name
lean-review-councilOriginal description
USE FOR: orchestrating a 5-member Lean 4 proof review council (Σ Kernel Guardian, Φ Statement Oracle, Ν Novelty Scout, Λ Quality Architect, Ω Integration Sentinel); running RALPH (Review-Analyze-Learn-Plan-Handle) loops at member / council / project / meta scales; structured voting with structured-disagreement-resolution (SDR); council topology selection (Star / Pipeline / Mesh / Hierarchical / Swarm / Ring / Hub-Spoke); maximum-parallel agent dispatch with cascading completion handlers; specification lifecycle (requirements → design → docs); inter-council collaboration; Zettelkasten knowledge synthesis; calibration scoring; enforcement tactics. DO NOT USE FOR: reviewing one Lean proof in isolation (use @lean-proof-review); writing a proof (use @lean-proof); running CI scripts (use @lean-enforcement); single-skill council convocation when no multi-layer review is needed (use the relevant skill directly). TRIGGERS: review council, RALPH loop, council vote, SDR, council topology, kernel guardian, statement oracle, novelty scout, quality architect, integration sentinel, meta-council, council session.
About this listing
- Category
- Product & design
- Reported license
- Apache-2.0
- Listing language (estimated)
- English
- Review status
- Not individually reviewed
- Agent compatibility
- Atlas installation supports Claude Code, Codex, and Cursor. Skill-specific dependencies and features are checked during setup.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLI