TopRank Skills
EN
English 简体中文 français

Search

PythonReactSEOPDF

charles-cooper AI Skills

GitHub ↗

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

Author statistics

Indexed skills

3

Repository stars across indexed skills

13

Repository forks

3

Average repository stars per indexed skill

4

Repository stars may repeat across skills from the same repository.

Popular categories

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

Recent indexing activity

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

3 skills

Browse skills

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...

☆ 7View skill
GitHub

hol4

charles-cooper

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

☆ 3View 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)

☆ 3View 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.