Master formal and informal logic - valid reasoning, fallacies, paradoxes. Use for: argument analysis, validity, soundness, logical form, fallacies, paradoxes. Triggers: 'valid', 'validity', 'fallacy', 'premise', 'conclusion', 'modus ponens', 'modus tollens', 'paradox', 'logical', 'syllogism', 'deduction', 'induction', 'inference', 'argument form', 'soundness', 'entailment', 'contradiction'.
EnglishOperational Transformation theory and practice for consistency in real-time collaborative editing. Covers transformation functions, consistency models, system architectures, control algorithms, timestamp schemes, and OT vs CRDT comparison. Use when building real-time collaborative editors, resolving concurrent edit conflicts, designing collaboration backends, or choosing between OT and CRDT.
English
AGENT SKILLS ATLASIncludes Ot 2026 05 03 and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Logic
Master formal and informal logic - valid reasoning, fallacies, paradoxes. Use for: argument analysis, validity, soundness, logical form, fallacies, paradoxes. Triggers: 'valid', 'validity', 'fallacy', 'premise', 'conclusion', 'modus ponens', 'modus tollens', 'paradox', 'logical', 'syllogism', 'deduction', 'induction', 'inference', 'argument form', 'soundness', 'entailment', 'contradiction'.
Ot 2026 05 03
Operational Transformation theory and practice for consistency in real-time collaborative editing. Covers transformation functions, consistency models, system architectures, control algorithms, timestamp schemes, and OT vs CRDT comparison. Use when building real-time collaborative editors, resolving concurrent edit conflicts, designing collaboration backends, or choosing between OT and CRDT.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Logic skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- Reported license for the skills shown: MIT. The author’s terms apply.