kim-em AI Skills

GitHub ↗

Explorez les skills IA publiés de kim-em et consultez leurs instructions source.

Statistiques de l’auteur

Skills indexés

1

Étoiles des dépôts des skills indexés

1

Forks du dépôt

0

Moyenne des étoiles par skill indexé

1

Les étoiles d’un dépôt peuvent se répéter entre ses skills.

Explorer

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.

☆ 1Voir le skill ↗

Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.