Does it support both natural numbers and signed integers?

Absolutely. It utilizes ASCII.parseNat and ASCII.parseInt to handle various numerical formats automatically.

Is this skill optimized for Advent of Code?

Yes, it includes specific implementation patterns for common AoC challenges, such as coordinate grids, navigation instructions, and numerical lists.

How does it handle parsing errors?

The skill utilizes the SimpleParser type, which provides structured error messages to help identify where input deviates from the expected format.

Why use this skill instead of standard string splitting?

This skill uses the lean4-parser library, which is more robust, type-safe, and capable of handling complex nested structures that manual splitting cannot easily manage.

Lean 4 Data Parsing

Name: Lean 4 Data Parsing
Author: kim-em

bykim-em

Developer Tools

Streamlines structured text processing in Lean 4 using specialized parser combinators for complex data formats.

About

The Lean 4 Parsing skill enables Claude to efficiently handle structured input by leveraging the lean4-parser library. Instead of relying on fragile manual string splitting, this skill provides a standardized framework for implementing robust parsers for Advent of Code puzzles, configuration files, and domain-specific languages. It includes pre-configured patterns for common tasks like coordinate mapping, signed integer extraction, and recursive list processing, ensuring high-accuracy data transformation within Lean 4 projects.

Key Features

Pre-built templates for signed integers and natural numbers
0 GitHub stars
Pattern matching for coordinates and key-value pairs
Library-based parsing using lean4-parser combinators
Support for complex delimiters and whitespace management
Advanced loop-until-end and alternative-branching logic

Use Cases

Transforming Advent of Code puzzle inputs into Lean 4 data structures
Developing type-safe parsers for custom domain-specific formats
Parsing coordinate systems and directional instructions from raw text

About

Key Features

Pre-built templates for signed integers and natural numbers
0 GitHub stars
Pattern matching for coordinates and key-value pairs
Library-based parsing using lean4-parser combinators
Support for complex delimiters and whitespace management
Advanced loop-until-end and alternative-branching logic

Use Cases

Transforming Advent of Code puzzle inputs into Lean 4 data structures
Developing type-safe parsers for custom domain-specific formats
Parsing coordinate systems and directional instructions from raw text