jrjsmrtn/project-orchestration-skills
Plugin Claude Code
Bundles 13 skills · 897 tokens together
Skills for AI-assisted project orchestration following best practices for software development lifecycle, architecture documentation, and quality automation.
Skill Claude CodeCodex
Formal specification workflow for state machines using TLX (TLA+ in Elixir). Covers writing abstract specs from ADRs, generating concrete specs from code, enriching extracted skeletons with invariants and properties, refinement checking, and CI integration. Use when asked to write a spec, formally specify, verify a…
Skill Claude CodeCodex
Scan an Elixir/Erlang project for modules that TLX can formally specify. Covers OTP behaviours (GenServer, genstatem, LiveView), framework extensions (Ash.StateMachine), and workflow/pipeline libraries (Reactor, Broadway). Reports spec coverage and suggests where to focus verification effort. Use when asked to audit…
Skill Claude CodeCodex
Detect when implementation code has changed but its formal TLX spec has not been updated. Compares git timestamps, re-extracts structure, and diffs against existing specs. Use when asked to check spec drift, detect stale specs, verify specs are up to date, or audit spec freshness.
Skill Claude CodeCodex
Generate state machine diagrams from TLX specs in multiple formats (DOT, Mermaid, PlantUML, D2). Use when asked to visualize a spec, generate a diagram, draw a state machine, create a graph, or render a spec as an image.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: