Use the lean4-parser library for parsing structured input. Invoke when implementing parsers for AoC puzzles or other text processing tasks in Lean.
.claude/skills/parsing
Help create git commits and PRs with properly formatted messages and release notes following CockroachDB conventions. Us...
Suggests manual context compaction at logical intervals to preserve context through task phases rather than arbitrary au...
Release the screenpipe monorepo. Bumps versions, generates changelog, triggers GitHub Actions for app, CLI, MCP, and JS...