Loading...
Loading...
Found 107 Skills
Meta-skill for internal codebase exploration at varying depths (quick/deep/architecture)
Async REPL Protocol
Index at Creation Time
Check reference SDK implementations using btca ask
Analyze repository structure, patterns, conventions, and documentation for understanding a new codebase
OPC Architecture Understanding
Formal theorem proving with research, testing, and verification phases
Create handoff document for transferring work to another session
LLM Tuning Patterns
Migration workflow - research → analyze → plan → implement → review
Search Mathlib for lemmas by type signature pattern