01Progressive loading architecture to optimize context window usage
02Automatic activation upon detection of mathematical or algorithmic tasks
0342 GitHub stars
04Comprehensive indexing of proofs, theorems, and implementation patterns
05Direct integration with bash-based skill discovery commands
06Gateway access to 11 specialized sub-skills including Topology and Number Theory