01Graph-based skill orchestration via neighbor-aware interleaving
02Native Emacs and libghosty VT integration for formal verification
03Babashka-powered connectivity analysis for identifying hub skills
042 GitHub stars
05Counterfactual diffing for tracking skill evolution with Narya proofs
06GF(3) triadic routing to ensure compositional coherence