Agent Skills by CC
Showing 3 vetted skills indexed across 1 GitHub repositories.
Wenbobobolean4
Automate Lean4 proof development with LSP-powered editing and mathlib lemma search.
Community
Advanced
Wenboboboarchon-supervisor
Coordinates supervised AutoArchon runs with fidelity checks and restart-state management.
Community
Advanced
Wenboboboarchon-orchestrator
Coordinate multi-run Archon campaigns from a top-level Codex session.
Community
Advanced