jrjsmrtn

22 mods across 2 repositories, 25 stars between them.

analyze-project

03

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Conduct SPARK methodology analysis for new project inception. Use at the beginning of a new project, when evaluating significant features, before bootstrap-project to validate viability, or when pivoting an existing project.

15 11d ago A 43 tokens original MIT

bootstrap-project

04

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Bootstrap a new project at a chosen graduation tier (t0 minimum, t1 decision-tracked, t2 full pattern language) following AI-Assisted Project Orchestration best practices. Use when starting a new software project, promoting an existing project to a higher tier, or converting an existing project for AI-assisted…

15 11d ago A 67 tokens original MIT

graduate-backlog

05

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Graduate a project's in-repo backlog (roadmap phases, sprint deliverables, ADRs) onto a forge issue tracker at a thin-hybrid default, once the backlog outgrows a single contributor. Use when a team needs to see and claim work that currently lives only in docs/roadmap and docs/sprints, when a repo has a mature in-repo…

15 11d ago A 124 tokens original MIT

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Harden GitHub Actions CI/CD workflows for supply-chain security — SHA-pin actions, least-privilege token permissions, verified toolchain installs, OpenSSF Scorecard, and SLSA provenance. Use when adding or auditing GitHub Actions workflows, before making a repository public, when a supply-chain review flags CI gaps…

15 11d ago B 101 tokens original MIT

harden-gitlab-ci

07

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Harden GitLab CI/CD pipelines for supply-chain security — SHA-pin include: and CI/CD components, scope the CIJOBTOKEN allowlist, protect and mask variables, pin job image digests, and use idtokens/OIDC instead of long-lived secrets. Use when adding or auditing a .gitlab-ci.yml, before making a GitLab project public…

15 11d ago A 143 tokens original MIT

plan-sprint

08

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Create a sprint plan for a new development cycle. Use when starting a new sprint, after completing wrapup-sprint, or when initializing Sprint 1 for a new project.

15 11d ago A 39 tokens original MIT

setup-adrs

09

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Create the foundational Architecture Decision Record (ADR) sequence for a new project. Use after bootstrap-project, when establishing decision documentation, or when standardizing ADR practices.

15 11d ago A 36 tokens original MIT

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Establish architecture-as-code practice using C4 modeling and Structurizr DSL. Use after bootstrap-project, when establishing architecture documentation, or when migrating from diagram-based to code-based architecture.

15 11d ago A 43 tokens original MIT

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Harden container images (Containerfile/Dockerfile) for supply-chain security — digest-pinned bases, non-root runtime, verified artifact fetches, hadolint/shellcheck linting, and grype + syft SBOM scanning. Use when a project builds a container image, before publishing an image to a registry, or when auditing container…

15 11d ago C 76 tokens original MIT

setup-git-hooks

12

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Configure two-stage git hooks (pre-commit + pre-push) for quality automation, with either pre-commit or lefthook as the hook manager. Use after bootstrap-project and setup-adrs, when adding quality gates to an existing project, or when standardizing quality automation.

15 11d ago A 62 tokens original MIT

setup-pre-commit

13

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

DEPRECATED — renamed to setup-git-hooks in 0.1.29. This skill should be used only to redirect; invoke setup-git-hooks instead for configuring two-stage git hooks (pre-commit + pre-push) with either pre-commit or lefthook.

15 11d ago A 62 tokens original MIT

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Validate consistency across quality configuration files. Use after setup-git-hooks, when debugging "works locally, fails in CI" issues, before major releases, or when onboarding.

15 11d ago A 38 tokens original MIT

wrapup-sprint

15

jrjsmrtn/project-orchestration-skills

Skill Claude CodeCodex

Complete a sprint with retrospective, changelog update, release tagging, and (for ships-artifacts projects) release provenance — SBOM, SLSA, and signing. Use when sprint work is done, at the end of a sprint cycle, or before starting a new sprint.

15 11d ago A 63 tokens original MIT

spark

16

jrjsmrtn/tlx

Skill Claude CodeCodex

Use this skill when building or modifying the Spark DSL extension. Consult for entity definitions, sections, transformers, and verifiers.

10 1mo ago A 27 tokens original MIT

tlx AGENTS.md

17

jrjsmrtn/tlx

Instructions file CodexOpenCode

Instructions for jrjsmrtn/tlx, covering usagerules usage, using usage rules, modules & functions in the current app and dependencies, search a whole module and search a specific function.

10 1mo ago A 1,283 tokens original MIT

tlx CLAUDE.md

18

jrjsmrtn/tlx

Instructions file

Instructions for jrjsmrtn/tlx, covering tlx, deliverables, project context, current development status and foundational adrs.

10 1mo ago A 2,140 tokens original MIT

formal-spec

19

jrjsmrtn/tlx

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…

10 1mo ago A 86 tokens original MIT

spec-audit

20

jrjsmrtn/tlx

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…

10 1mo ago A 88 tokens original MIT

spec-drift

21

jrjsmrtn/tlx

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.

10 1mo ago A 63 tokens original MIT

visualize

22

jrjsmrtn/tlx

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.

10 1mo ago A 55 tokens original MIT