SKILL·D51F9A

delta-derivation

majiayu000
Updated 1 month ago
18 views
58
9
58
View on GitHub
Otherai

About

This skill extracts and verifies changes between Claude.ai conversation exports by computing the delta of conversation IDs and checking for mutations via bisimulation. It uses ACSets morphisms to structurally compare exports, identifying both new conversations and modifications to shared ones. Use it to programmatically track conversation evolution and validate export integrity during analysis or migration workflows.

Quick Install

Claude Code

Recommended
Primary
npx skills add majiayu000/claude-skill-registry -a claude-code
Plugin CommandAlternative
/plugin add https://github.com/majiayu000/claude-skill-registry
Git CloneAlternative
git clone https://github.com/majiayu000/claude-skill-registry.git ~/.claude/skills/delta-derivation

Copy and paste this command in Claude Code to install this skill

GitHub Repository

majiayu000/claude-skill-registry
Path: skills/data/delta-derivation
0
FAQ

Frequently asked questions

What is the delta-derivation skill?

delta-derivation is a Claude Skill by majiayu000. Skills package instructions and resources that Claude loads on demand, so Claude can perform delta-derivation-related tasks without extra prompting.

How do I install delta-derivation?

Use the install commands on this page: add delta-derivation to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does delta-derivation belong to?

delta-derivation is in the Other category, tagged ai.

Is delta-derivation free to use?

Yes. delta-derivation is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Related Skills

llamaguard
Other

LlamaGuard is Meta's 7-8B parameter model for moderating LLM inputs and outputs across six safety categories like violence and hate speech. It offers 94-95% accuracy and can be deployed using vLLM, Hugging Face, or Amazon SageMaker. Use this skill to easily integrate content filtering and safety guardrails into your AI applications.

View skill
cost-optimization
Other

This Claude Skill helps developers optimize cloud costs through resource rightsizing, tagging strategies, and spending analysis. It provides a framework for reducing cloud expenses and implementing cost governance across AWS, Azure, and GCP. Use it when you need to analyze infrastructure costs, right-size resources, or meet budget constraints.

View skill
sports-betting-analyzer
Other

This Claude Skill analyzes sports betting markets including spreads, over/unders, and prop bets by examining historical trends and situational statistics to identify value bets. It provides structured markdown output with actionable recommendations for educational purposes. Developers should use this for sports betting analysis tools while noting it's designed for entertainment/education only.

View skill
quantizing-models-bitsandbytes
Other

This skill quantizes LLMs to 8-bit or 4-bit precision using bitsandbytes, achieving 50-75% memory reduction with minimal accuracy loss. It's ideal for running larger models on limited GPU memory or accelerating inference, supporting formats like INT8, NF4, and FP4. The skill integrates with HuggingFace Transformers and enables QLoRA training and 8-bit optimizers.

View skill