andrueandersoncs

andrueandersoncs/claude-skill-authoring-skill

Skill Claude CodeCodex

Guides creation of effective Claude skills with proper structure, naming, and progressive disclosure. Use when creating new skills, improving existing SKILL.md files, reviewing skill quality, or when the user mentions writing skills, skill authoring, or SKILL.md.

andrueandersoncs/claude-tla-plus-plugin

Plugin Claude Code

Bundles 1 skill, 6 commands · 116 tokens together

Generate TLA+ specifications, PlusCal algorithms, and TLC model configurations for formal verification of distributed systems, concurrent algorithms, and state machines.