Coordinate a five-member Lean 4 proof review council using RALPH loops.
npx skills add https://github.com/r-irbe/proof-skills --skill lean-review-council
Please help me install this Agent Skill. Skill: lean-review-council Source: https://github.com/r-irbe/proof-skills/tree/main/skills/lean-review-council Command: npx skills add https://github.com/r-irbe/proof-skills --skill lean-review-council
Coordinates multi-layer Lean 4 proof reviews by orchestrating five specialized agents and governance loops to improve proof reliability and collaboration.
Initiate a five-member council session to run the RALPH loop and collect session reports per Part 12.
High-intent search queries and answers about installing and using this skill.
Multi-layer Lean 4 proof reviews are coordinated by orchestrating a five-member council that executes RALPH loops across kernel, statement, novelty, quality, and integration layers, applying structured voting and cascading dispatch.
A RALPH loop is a governance protocol executed across member, council, and project scales during Lean 4 proof reviews, utilizing structured voting, SDR, and cascading dispatch to ensure comprehensive verification.
Documentation and knowledge synthesis for a Lean 4 proof review council are structured through Zettelkasten updates, which capture session reports and facilitate cross-council collaboration after governance sessions.
Yes, you can use a fixed protocol for project-wide Lean 4 governance and auditing sessions that includes topology selection, voting, SDR, and documentation to satisfy strict governance requirements.
A comprehensive Lean 4 proof review council requires five specialized roles: the Kernel Guardian, Statement Oracle, Novelty Scout, Quality Architect, and Integration Sentinel, each targeting a distinct verification layer.
Yes, Lean 4 proof review supports cross-council collaboration through Zettelkasten knowledge synthesis and structured session reports, enabling multiple specialized councils to coordinate governance efforts.
flonatFormalize mathematical statements in Lean 4 and verify them with lake build.
r-irbeCoordinates a five-member Lean 4 research council to systematize cross-disciplinary knowledge acquisition and epistemic mapping.
791994545Decompose complex tasks into structured plans with loop commands.
fmhallReview Lean 4 proof files for quality, cleanup, and coding standards.
