restructure-solutions

What problem does it solve?

This skill restructures a Lean file of a human-eval problem that contains multiple solution variants, ensuring each solution becomes self-contained with its own Implementation, Tests, and Verification sections, while preserving the original Prompt section at the end for reference.

Core Features & Use Cases

• Isolates each solution variant into a dedicated section group containing Implementation, Tests, and Verification.
• Maintains the original Prompt section at the end.
• Automatically numbers sections when there are multiple solutions to improve readability and maintainability.
• Preserves existing imports, opens, and options at the top of the file; keeps helper lemmas in the first Verification section where they are first needed.

Quick Start

Restructure a Lean file with multiple solutions so that each solution is self-contained with Implementation, Tests, and Verification sections.