搜索

PythonReactSEOPDF

charles-cooper AI Skills

GitHub ↗

浏览 charles-cooper 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。

作者统计

已收录技能

3

收录技能的仓库 Stars 合计

13

仓库 Forks

3

平均每个技能的仓库 Stars

4

同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。

3 个技能

全部技能

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

GitHub

hol4

charles-cooper

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

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)

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。