GitHub
taskman
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...
☆ 7查看技能
浏览 charles-cooper 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。
已收录技能
3收录技能的仓库 Stars 合计
13仓库 Forks
3平均每个技能的仓库 Stars
4同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。
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...
HOL4 proof development pipeline - planning, sketching, and proving phases. (project)
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 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。