CtrlK
BlogDocsLog inGet started
Tessl Logo

igmarin/elixir-phoenix-skills

Curated library of 38 atomic skills, 7 personas, and 1 orchestrator for Elixir and Phoenix development. Organized by category: fundamentals, phoenix, database, testing, auth, infrastructure, quality, security, integrations, tooling, frameworks, personas, and orchestration. Covers core Elixir patterns, Phoenix LiveView, Ecto, OTP, Oban, testing, security, deployment, real-time, and modern tooling (Req, Swoosh, Cachex, Broadway, Ash).

73

Quality

91%

Does it follow best practices?

Impact

No eval scenarios have been run

SecuritybySnyk

Advisory

Suggest reviewing before use

Overview
Quality
Evals
Security
Files

SKILL.mdskills/security/security-essentials/

name:
security-essentials
type:
atomic
tags:
atomic
license:
MIT
description:
Provides security guidelines and patterns for Elixir/Phoenix applications. Use when writing auth, token handling, redirects, or user input processing, or when any security concern arises. Covers atom exhaustion, SQL injection, open redirects, XSS, sensitive data in logs, timing attacks, CSRF, and dependency auditing. Trigger words: security, atom exhaustion, SQL injection, XSS, open redirect, timing attack, CSRF, Sobelow.
metadata:
{"user-invocable":"true","version":"1.0.0","adapted-from":"j-morgan6/elixir-phoenix-guide","original-author":"Joseph Morgan"}

Security Essentials

Use this skill before writing ANY security-sensitive code.

RULES — Quick Checklist

Apply every item before merging. See the named sections below for patterns and examples.

  1. Atom exhaustion — never String.to_atom/1 on user input; use String.to_existing_atom/1 or an explicit case → Atom Table Exhaustion
  2. SQL injection — never interpolate strings into Ecto queries; use ^variable or $1/$2 placeholders → SQL Injection
  3. Open redirects — never redirect to user-controlled URLs; use ~p"..." or a whitelist → Open Redirects
  4. XSS — avoid raw/1; sanitize with HtmlSanitizeEx if HTML is required → Cross-Site Scripting (XSS)
  5. Sensitive data in logs — passwords, tokens, API keys, and PII must never appear in logs → Sensitive Data in Logs
  6. Timing attacks — use Plug.Crypto.secure_compare/2 for token comparison; never ==Timing Attacks
  7. CSRF — never disable Phoenix's built-in CSRF protection → CSRF Protection
  8. Parameter tampering / IDOR — validate all user input at boundaries; verify ownership → Common Vulnerable Patterns
  9. Dependency auditing — run mix deps.audit && mix hex.audit && mix sobelow before any merge → Dependency Auditing
  10. Sobelow in CImix sobelow must pass in CI; fail on any HIGH or CRITICAL finding

Security Review Process

Apply this sequence whenever writing or reviewing security-sensitive code:

  1. Identify attack surface — list all user inputs, external data sources, and network boundaries
  2. Apply RULES — implement the feature following all rules above
  3. Run mix sobelow --router MyAppWeb.Router — static analysis on your router and controllers
  4. Run mix sobelow --private — check private functions for vulnerabilities
  5. Review findings by severity — HIGH severity first, then MEDIUM, then LOW
  6. Fix each finding — apply the correct pattern from the sections below
  7. Re-run sobelow — repeat until no issues reported
  8. Run full auditmix deps.audit && mix hex.audit && mix sobelow before merging
  9. Test manually — verify with curl/introspection that expected inputs are rejected

Common Vulnerable Patterns

Parameter Tampering

Bad — trusting user input:

def index(conn, %{"status" => status}) do
  users = Repo.all(from u in User, where: u.status == ^status)
  render(conn, "index.html", users: users)
end

Good — validate against allowed values:

@allowedStatuses ~w(active inactive pending)
def index(conn, %{"status" => status}) do
  if status in @allowedStatuses do
    users = Repo.all(from u in User, where: u.status == ^status)
    render(conn, "index.html", users: users)
  else
    put_status(conn, :bad_request)
    |> json(%{error: "Invalid status"})
  end
end

IDOR (Insecure Direct Object Reference)

Bad — no authorization check:

def show(conn, %{"id" => id}) do
  user = Repo.get!(User, id)
  render(conn, "show.html", user: user)
end

Good — verify ownership:

def show(conn, %{"id" => id}) do
  current_user = conn.assigns.current_user

  case Accounts.get_user_for_current_user(current_user, id) do
    {:ok, user} -> render(conn, "show.html", user: user)
    {:error, :not_found} -> put_status(conn, :not_found) |> json(%{error: "Not found"})
    {:error, :unauthorized} -> put_status(conn, :forbidden) |> json(%{error: "Forbidden"})
  end
end

Atom Table Exhaustion

Bad — user controls the atom:

role = String.to_atom(params["role"])

Good — whitelist approach:

case params["role"] do
  "admin" -> :admin
  "user" -> :user
  "moderator" -> :moderator
  _ -> {:error, :invalid_role}
end

SQL Injection

Bad — string interpolation in fragment:

# NEVER do this — user can inject SQL through field or value
from(u in User, where: fragment("lower(#{field}) = ?", ^value))
from(u in User, where: fragment("#{condition}", []))

Bad — using unvalidated input in raw SQL:

# NEVER do this — even with ~s() sigil
Ecto.Adapters.SQL.query(Repo, "SELECT * FROM users WHERE name = '#{name}'", [])

Good — parameterized fragment with field/1:

# Safe — field is an atom from schema, value is parameterized
from(u in User, where: fragment("lower(?) = ?", field(u, :status), ^value))

Good — parameterized raw SQL:

Ecto.Adapters.SQL.query(Repo, "SELECT * FROM users WHERE id = $1", [id])
Ecto.Adapters.SQL.query(Repo, "SELECT * FROM users WHERE name = $1 AND status = $2", [name, status])

Good — Ecto query expressions always safe:

# Ecto query expressions are always parameterized
from(u in User, where: u.status == ^status and u.name == ^name)

Open Redirects

Bad — user controls redirect destination:

def create(conn, %{"redirect_to" => redirect_to} = params) do
  redirect(conn, to: redirect_to)
end

Good — use verified routes:

redirect(conn, to: ~p"/dashboard")

Good — validate against known paths:

@allowed_redirects ["/dashboard", "/profile", "/settings"]

def create(conn, %{"redirect_to" => redirect_to} = params) do
  if redirect_to in @allowed_redirects do
    redirect(conn, to: redirect_to)
  else
    redirect(conn, to: ~p"/dashboard")
  end
end

Cross-Site Scripting (XSS)

Bad — bypasses escaping:

<%= raw(@user_bio) %>

Good — let Phoenix auto-escape:

<%= @user_bio %>

Good — sanitize if HTML rendering is required:

<%= raw(HtmlSanitizeEx.html5(@user_bio)) %>

Sensitive Data in Logs

Bad:

Logger.info("User login", email: email, password: password)
Logger.debug("API call", token: api_token, response: resp)

Good:

Logger.info("User login", email: email, user_id: user.id)
Logger.debug("API call", endpoint: url, status: resp.status)

Timing Attacks

Bad — timing-unsafe:

def verify_token(provided_token, stored_token) do
  provided_token == stored_token
end

Good — constant-time comparison:

def verify_token(provided_token, stored_token) do
  Plug.Crypto.secure_compare(provided_token, stored_token)
end

Dependency Auditing

# Check for known vulnerabilities in dependencies
mix deps.audit

# Verify package checksums against Hex
mix hex.audit

# Static security analysis on your code
mix sobelow --router MyAppWeb.Router

# Run all three before any merge
mix deps.audit && mix hex.audit && mix sobelow --config

Sobelow categories:

CategorySeverity
Config (hardcoded secrets, insecure config)HIGH
SQL injectionHIGH
Remote Code (unsafe eval/apply)CRITICAL
Cross-Site ScriptingHIGH
Function ClobberingMEDIUM
Denial of Service (atom exhaustion)HIGH

Add to CI pipeline:

# .github/workflows/security.yml
- name: Security Audit
  run: |
    mix deps.audit
    mix hex.audit
    mix sobelow --config
# mix.exs
defp aliases do
  [
    "security.check": ["deps.audit", "hex.audit", "sobelow --config"]
  ]
end

Interpretation: Any Sobelow finding of HIGH or CRITICAL severity MUST be fixed before merging. LOW findings should be tracked and addressed within 2 sprints.


CSRF Protection

Never disable Phoenix's built-in CSRF protection.

# Phoenix forms automatically include CSRF tokens
# <.form> component handles this — never use raw <form> tags

# API pipeline should NOT include :protect_from_forgery
pipeline :api do
  plug :accepts, ["json"]
  # No :protect_from_forgery — APIs use Bearer tokens instead
end

Integration

PredecessorThis SkillSuccessor
elixir-essentialssecurity-essentialsNone (standalone)

skills

security

security-essentials

README.md

tile.json