When your Allium specs and implementation have drifted apart, this skill compares them and helps you fix the divergence. It runs in three modes: check only, update the spec to match code, or update code to match spec. The construct-by-construct comparison is solid, but the process-level checks are where it gets interesting. It reconstructs state machines from your code, verifies that spec transitions actually have corresponding code paths, and flags invariants that exist in code but not in specs. One caution: if you're working on a large codebase, the context can blow up fast during iterative fixes, so you may need to split the work across fresh sessions.
npx skills add https://github.com/juxt/allium --skill weed