What problem does it solve? When resuming work on an ICFP Contest problem, it is easy to repeat failed searches, lose verified findings, or treat stale scores as current. This Skill centralizes per-problem knowledge notes so confirmed architectures, invariants, rejected search families, and restart points are read before work and updated after work. ## Core Features & Use Cases - Pre-work review: Resolves the target problem via the problem catalog and reads its note in member-18/docs/problems/ to surface known constraints, failed approaches, and restart points before starting. - Evidence-backed updates: Records only verified findings such as validated architectures, invariants, counterexamples, exhaustive search bounds, and UNSAT results, with dates, suite fingerprints, and source SHAs. - Telemetry and verification: Tracks runs with the skill-telemetry tool and validates note changes with the problem-notes test suite and git diff checks. - Use Case: Before optimizing a Littleman solution for a specific problem, ask what is already known; the Skill reports confirmed facts, bounded negative results, open questions, and where to resume, then records new durable findings afterward. ## Quick Start Use the icfpc-problem-notes skill to review what is already known about the Reverse a List problem and record any new verified findings from this session.
