elixir-pro

Guidance for writing Elixir software, including OTP, the standard framework for building concurrent and fault-tolerant Erlang-based systems, and Phoenix LiveView, a tool for interactive web pages. It also covers databases, concurrency, distributed systems, and BEAM performance.

In plain words
What is it for?
Use it for Elixir refactoring, OTP and supervision-tree design, Phoenix LiveView work, Ecto database code, concurrent programs, distributed systems, and BEAM virtual-machine optimization.
Why use it?
It helps keep Elixir code consistent with common patterns for supervision, process isolation, immutability, and pattern matching. It also provides a checklist for clarifying goals and validating changes.

Skill for Claude CodeCodex

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add skills/ai-safeter/antigravity-cli-plugin/elixir-pro
Any agent
npx skills add AI-Safeter/antigravity-cli-plugin --skill elixir-pro
Clone the repo
git clone --depth 1 https://github.com/AI-Safeter/antigravity-cli-plugin

Made for: Claude Code, Codex.

Per session 53 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 419 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00053 $0.00419
Opus 5 $0.00026 $0.00210
Sonnet 5 $0.00011 $0.00084
Haiku 4.5 $0.00005 $0.00042

Measured 2d ago against content hash 80fce075ec88, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

elixir-pro scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

plugins/elixir-pro/SKILL.md · 60 lines

What it actually says

Use this skill when

  • Working on elixir pro tasks or workflows
  • Needing guidance, best practices, or checklists for elixir pro

Do not use this skill when

  • The task is unrelated to elixir pro
  • You need a different domain or tool outside this scope

Instructions

  • Clarify goals, constraints, and required inputs.
  • Apply relevant best practices and validate outcomes.
  • Provide actionable steps and verification.
  • If detailed examples are required, open resources/implementation-playbook.md.

You are an Elixir expert specializing in concurrent, fault-tolerant, and distributed systems.

Focus Areas

  • OTP patterns (GenServer, Supervisor, Application)
  • Phoenix framework and LiveView real-time features
  • Ecto for database interactions and changesets
  • Pattern matching and guard clauses
  • Concurrent programming with processes and Tasks
  • Distributed systems with nodes and clustering
  • Performance optimization on the BEAM VM

Approach

  1. Embrace "let it crash" philosophy with proper supervision
  2. Use pattern matching over conditional logic
  3. Design with processes for isolation and concurrency
  4. Leverage immutability for predictable state
  5. Test with ExUnit, focusing on property-based testing
  6. Profile with :observer and :recon for bottlenecks

Output

  • Idiomatic Elixir following community style guide
  • OTP applications with proper supervision trees
  • Phoenix apps with contexts and clean boundaries
  • ExUnit tests with doctests and async where possible
  • Dialyzer specs for type safety
  • Performance benchmarks with Benchee
  • Telemetry instrumentation for observability

Follow Elixir conventions. Design for fault tolerance and horizontal scaling.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2d ago First seen · 60 lines · 53 tokens per session scan A 80fce075ec88

Subscribe to this mod's changes

elixir-pro is a skill published in the GitHub repository AI-Safeter/antigravity-cli-plugin (10 stars, last pushed 3mo ago), licensed MIT. It adds 53 tokens to every session and 419 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

Related

Other skills, from other repositories

wxjava-module-selector

根据微信公众号、小程序、微信支付、企业微信、开放平台、视频号或微信小店、腾讯企点和微信智能对话等业务场景,为用户选择合适的 WxJava Maven 模块、BOM 和示例入口。适用于用户询问“该用哪个模块”、依赖坐标、产品边界或单/多账号 Starter 选择时。.

binarywang/WxJava · 86 tokens

cpp-pro

Writes, optimizes, and debugs C++ applications using modern C++20/23 features, template metaprogramming, and high-performance systems techniques. Use when building or refactoring C++ code requiring concepts, ranges, coroutines, SIMD optimization, or careful memory management — or when addressing performance…

Jeffallan/claude-skills · 79 tokens

golang-observability

Golang everyday observability — the always-on signals in production. Covers structured logging with slog, Prometheus metrics, OpenTelemetry distributed tracing, continuous profiling with pprof/Pyroscope, server-side RUM event tracking, alerting, and Grafana dashboards. Apply when instrumenting Go services for…

samber/cc-skills-golang · 166 tokens

rust-pro

Master modern Rust (2024 edition) with async patterns, advanced type system features, and production-ready systems programming. Expert in the current Rust ecosystem including Tokio, axum, and modern crates. Use PROACTIVELY for Rust development, performance optimization, or systems programming.

vudovn/ag-kit · 58 tokens

ax-python-agent

Use when writing Python code with axllm for agents, child delegation, tools, MCP, citations, persistent playbook learning, stage instructions, runtime state, final typed responses, and direct-respond executor skipping.

ax-llm/ax · 49 tokens

mps-aspect-actions

Use when defining or editing MPS node factories (the "actions" aspect) — NodeFactories roots, per-concept NodeFactory setup functions that initialize a freshly created node and optionally copy data from a replaced sampleNode, plus the actions aspect's CopyPasteHandlers and PasteWrappers roots. Reach for this skill…

JetBrains/MPS · 115 tokens