01Inductive logical relations for complex diff and conflict resolution
02MCP Task-based lifecycle management for agent self-modification
032 GitHub stars
04Cognitive continuity via Babashka transient state tracking
05Structure-aware version control using Narya observational bridge types
06Cross-editor skill synchronization via bisimulation equivalence