delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
npx skills add majiayu000/claude-skill-registry --skill delta-derivation --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Delta Derivation Skill **Trit**: -1 (MINUS - Validator) **Color**: #007FFF (Cold Blue) **Role**: Extract and verify conversation export deltas --- ## Core Algorithm ```bash # 1. Extract conversations from exports unzip -o "$RECENT_ZIP" conversations.json -d /tmp/recent_export unzip -o "$PREVIOUS_ZIP" conversations.json -d /tmp/previous_export # 2. Extract conversation IDs jq -r '.[].conversation_id' /tmp/recent_export/conversations.json | sort > /tmp/recent_ids.txt jq -r '.[].conversation_id' /tmp/previous_export/conversations.json | sort > /tmp/prev_ids.txt # 3. Compute delta (new conversations) comm -23 /tmp/recent_ids.txt /tmp/prev_ids.txt > /tmp/new_ids.txt # 4. Bisimulation check (mutations in shared conversations) jq -r '.[] | "\(.conversation_id) \(.current_node)"' /tmp/recent_export/conversations.json | sort > /tmp/recent_states.txt jq -r '.[] | "\(.conversation_id) \(.current_node)"' /tmp/previous_export/conversations.json | sort > /tmp/prev_states.txt comm -3 /tmp/recent_states.txt /tmp/prev_states.txt > /tmp/mutated.txt ``` --- ## ACSets Schema ```clojure (def ConversationACSet {:objects #{:Conversation :Message :Node} :morphisms {:has_mapping [:Conversation :Node] :pa
- Core Algorithm
- ACSets Schema
- Bisimulation Verification
- Skill Extraction
- Full Pipeline
- GF(3) Triadic Analysis
- Commands
- Justfile Integration
- Related Skills
- Scientific Skill Interleaving
- Graph Theory
- Bibliography References
- Cat# Integration
- GF(3) Naturality
unzip -o "$RECENT_ZIP" conversations.json -d /tmp/recent_export unzip -o "$PREVIOUS_ZIP" conversations.json -d /tmp/previous_export jq -r '.[].conversation_id' /tmp/recent_export/conversations.json | sort > /tmp/recent_ids.txt jq -r '.[].conversation_id' /tmp/previous_export/conversations.json | sort > /tmp/prev_ids.txt comm -23 /tmp/recent_ids.txt /tmp/prev_ids.txt > /tmp/new_ids.txt jq -r '.[] | "\(.conversation_id) \(.current_node)"' /tmp/recent_export/conversations.json | sort > /tmp/recent_states.txt jq -r '.[] | "\(.conversation_id) \(.current_node)"' /tmp/previous_export/conversations.json | sort > /tmp/prev_states.txt comm -3 /tmp/recent_states.txt /tmp/prev_states.txt > /tmp/mutated.txt delta-derive.sh - Extract conversation export delta set -euo pipefail
What does the delta-derivation skill do?
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
How do I install it?
Run `npx skills add majiayu000/claude-skill-registry --skill delta-derivation --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From majiayu000/claude-skill-registry, a repository with 534 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.