TopRank Skills
FR
English 简体中文 français

Rechercher

PythonReactSEOPDF

charles-cooper AI Skills

GitHub ↗

Explorez les skills IA publiés de charles-cooper et consultez leurs instructions source.

Statistiques de l’auteur

Skills indexés

3

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

13

Forks du dépôt

3

Moyenne des étoiles par skill indexé

4

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

Catégories populaires

tools llm ai2devops llm ai2testing security llm ai2documentation llm ai2content media llm ai2research llm ai2

Indexation récente

hol42026-01-20hol2026-01-20taskman2026-01-20

3 skills

Explorer

GitHub

taskman

charles-cooper

Agent memory and task management CLI. Use this skill when you need to persist context across sessions, track tasks, hand off work, or store temporary agent scratch data. Provides the `taskman` CLI for init, syn...

☆ 7Voir le skill
GitHub

hol4

charles-cooper

HOL4 proof development pipeline - planning, sketching, and proving phases. (project)

☆ 3Voir le skill
GitHub

hol

charles-cooper

HOL4 interactive proof development. Use when working with HOL4 proofs, .sml theorem files, Holmake builds, or hol-agent-helper.sh sessions. (project)

☆ 3Voir 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é.