listener-He/java-harness-agent
Recently updated agent skill repository discovered via GitHub repository search.
Recently updated agent skill repository discovered via GitHub repository search.
npx skills add listener-He/java-harness-agentRecently updated agent skill repository discovered via GitHub repository search.
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
Turn one-off AI collaboration prompts into long-running repository governance. · “把一次性的 AI 协作提示，疏导成项目里长期可运行的治理体系。”——Dayu Harness Skill（大禹治库.skill）
DuckDB query patterns for in-process analytical workloads, Parquet/CSV reads, and embedded analytics
Personal Claude Code skills marketplace
🛠️ 最实用的 Claude Code Skills 合集 | 精选 100+ | 18个原创可安装技能 | 按场景分类 | 复制即装
Helping the Agents Compose the Things