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
Plugin marketplace listing 1 plugin: tla-plus.
andrueandersoncs/claude-tla-plus-plugin
Plugin Claude Code
Generate TLA+ specifications, PlusCal algorithms, and TLC model configurations for formal verification of distributed systems, concurrent algorithms, and state machines.
andrueandersoncs/claude-tla-plus-plugin
Command
Generate or update a TLC configuration file for a TLA+ spec.
andrueandersoncs/claude-tla-plus-plugin
Command
Generate invariants for an existing TLA+ specification.
andrueandersoncs/claude-tla-plus-plugin
Command
Generate a PlusCal algorithm with TLA+ translation.
andrueandersoncs/claude-tla-plus-plugin
Command
Review and improve an existing TLA+ specification.
andrueandersoncs/claude-tla-plus-plugin
Command
Generate a new TLA+ specification from a system description.
andrueandersoncs/claude-tla-plus-plugin
Skill Claude CodeCodex
Generate TLA+ specifications, PlusCal algorithms, and TLC model configurations for formal verification. Use when the user wants to formally specify systems, verify concurrent algorithms, model distributed systems, check safety/liveness properties, or create state machine specifications.