parsing

Use the lean4-parser library for parsing structured input. Invoke when implementing parsers for AoC puzzles or other text processing tasks in Lean.

by kim-em· Repository·productivity
parsing
Run in AgentAreaBrowse All Skills
Also installable via skills CLI
npx skills add kim-em/AoC2025/.claude/skills/parsing

Source

Repo:local
Path:.claude/skills/parsing(main)

Related in productivity

commit-helper

Help create git commits and PRs with properly formatted messages and release notes following CockroachDB conventions. Use when com...

by cockroachdb
31,777

strategic-compact-affaan-m-everything-claude-cod

Suggests manual context compaction at logical intervals to preserve context through task phases rather than arbitrary auto-compact...

by affaan-m
24,605

release-mediar-ai-screenpipe

Release the screenpipe monorepo. Bumps versions, generates changelog, triggers GitHub Actions for app, CLI, MCP, and JS packages.

by mediar-ai
16,501