01Bisimulation verification to detect observational equivalence and state divergence
02Automated extraction and comparison of Claude.ai ZIP exports
03GF(3) triadic analysis for balanced validation, coordination, and generation roles
04Skill mention extraction to track the frequency of specific tool invocations
05Identification of new and mutated conversation threads using JQ and Comm
068 GitHub stars