kim-em AI Skills

GitHub ↗

Browse published AI skills maintained by kim-em. Compare skill descriptions and follow each source repository for setup instructions.

Author statistics

Indexed skills

1

Repository stars across indexed skills

1

Repository forks

0

Average repository stars per indexed skill

1

Repository stars may repeat across skills from the same repository.

Browse skills

KIGitHub

parsing

kim-em

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

☆ 1View skill ↗

The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.