메뉴
Use this skill when building or modifying the Spark DSL extension. Consult for entity definitions, sections, transformers, and verifiers.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
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 state machine, check refinement, generate a concrete spec, enrich a skeleton, or compare abstract and concrete specs.
Scan an Elixir/Erlang project for modules that TLX can formally specify. Covers OTP behaviours (GenServer, gen_statem, 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, scan, find extractable modules, check spec coverage, or triage formal verification targets.
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.
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.
| name | spark |
| description | Use this skill when building or modifying the Spark DSL extension. Consult for entity definitions, sections, transformers, and verifiers. |
| metadata | {"managed-by":"usage-rules"} |
mix usage_rules.search_docs "search term" -p spark
mix spark.cheat_sheets - Creates cheat sheets for each Extension provided. Useful for CI with --check flag.mix spark.cheat_sheets.docsmix spark.cheat_sheets_in_search - Includes generated cheat sheets in the search barmix spark.formatter - Manages a variable called spark_locals_without_parens in the .formatter.exs from a list of DSL extensions.mix spark.install - Installs spark by adding the Spark.Formatter plugin, and providing a basic configuration for it in config.exs.mix spark.replace_doc_links - Replaces any spark dsl specific doc links with text appropriate for hex docs.