菜单
AoC2025 收录了来自 kim-em 的 1 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
Use the lean4-parser library for parsing structured input. Invoke when implementing parsers for AoC puzzles or other text processing tasks in Lean.