New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Elodin Dev

by elodin-sys in elodin-sys/elodin

Develop and contribute to the Elodin codebase. An agent skill from elodin-sys/elodin.

Apache-2.0Auto-check passedDevelopment

Install Elodin Dev

skills CLI
$ npx skills add elodin-sys/elodin --skill elodin-dev -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install elodin-sys/elodin elodin-dev --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/elodin-sys/elodin.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.cursor/skills/elodin-dev .claude/skills/elodin-dev && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
elodin-dev
GitHub stars
547
Token cost
~896 tokens
SKILL.md length
244 words
Files
2
Skills in repo
14
Repo updated
First seen
Licence
Apache-2.0

At a glance

Develop and contribute to the Elodin codebase. An agent skill from elodin-sys/elodin.

  • Works in 4 steps: nox-py → nox → Cranelift-MLIR (default)… → nox-py → impeller → elodin-db (telemetry) → elodin-editor → impeller → elodin-db… → …
  • Building Elodin from source
  • SKILL.md covers Architecture, Prerequisites, Development Environment and Build Commands, plus 4 more sections
  • Calls cargo, nix and ruff

What it does

Elodin Dev is an agent skill from elodin-sys/elodin. Develop and contribute to the Elodin codebase. Use when building Elodin from source, running tests, modifying core libraries, working on the Rust workspace, or onboarding as a contributor.

Its SKILL.md is about 900 tokens, which your agent loads only when the skill is triggered. The skill folder holds 1 other file (for example `ci-checks.md`).

It sits in Development. It works with Rust, Git and Python. The repository describes itself as: Elodin simulation and flight software monorepo. The licence is Apache-2.0.

When your agent uses it

  • Building Elodin from source
  • Modifying core libraries
  • Working on the Rust workspace
  • Onboarding as a contributor

Example prompts

  • “/elodin-dev”

Requirements

  • Python 3

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  1. nox-py → nox → Cranelift-MLIR (default) or JAX (simulation compilation)
  2. nox-py → impeller → elodin-db (telemetry)
  3. elodin-editor → impeller → elodin-db (visualization)
  4. roci → impeller → elodin-db (flight software telemetry)

What it can do on your machine

Read from SKILL.md and the folder at commit 3bc1d99. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • cargo
    • nix
    • ruff
    • python
    • just
    • brew
    • apt
    • git

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    Links to these hosts (documentation or services it may open):

    • determinate.systems
    • just.systems
    • git-lfs.com

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Elodin Dev loads about 896 tokens when it runs. Until then it costs about 50 tokens; SKILL.md has 244 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~50
When it runs · the whole SKILL.md, loaded when a task matches
~896

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from elodin-sys/elodin at commit 3bc1d99, republished under its Apache-2.0 licence (© elodin-sys). 244 words, ~896 tokens.

Download SKILL.mdSave it as .claude/skills/elodin-dev/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.
name
elodin-dev
description
Develop and contribute to the Elodin codebase. Use when building Elodin from source, running tests, modifying core libraries, working on the Rust workspace, or onboarding as a contributor.

Elodin Development

Elodin is a monorepo for aerospace simulation and flight software. The stack:

  • nox-py — Python SDK (JAX + PyO3 bindings; includes ECS in src/)
  • nox — Tensor compiler (→ Cranelift-MLIR / JAX)
  • Impeller — High-performance pub-sub telemetry protocol
  • Elodin-DB — Time-series telemetry database
  • Elodin Editor — 3D viewer and graphing tool (Bevy + Egui)
  • Roci — Reactive flight software framework
  • Aleph — NixOS configuration for Jetson Orin flight computers

Architecture

Python Simulations (nox-py)
        │
   ┌────┴────┬──────────────┐
   │         │              │
 NOX      Impeller     Elodin-DB
Compiler  (Telemetry)   (Storage)
   │         │              │
Cranelift/ Stellarator    Elodin
  JAX      (Async RT)     Editor
                │
         ┌──────┴──────┐
       Roci          Aleph
    (Flight SW)   (Hardware)

Key integration points:

  1. nox-py → nox → Cranelift-MLIR (default) or JAX (simulation compilation)
  2. nox-py → impeller → elodin-db (telemetry)
  3. elodin-editor → impeller → elodin-db (visualization)
  4. roci → impeller → elodin-db (flight software telemetry)

Prerequisites

Development Environment

Always work inside the Nix shell. It provides Rust, Python, C/C++ toolchains, cloud tools, and git-lfs.

bash
nix develop                              # Enter unified dev shell
nix develop --command "cargo build"      # One-off command

Build Commands

bash
just install

# Run an example
elodin editor examples/three-body/main.py

CI Checks

All changes must pass these before merge. See ci-checks.md for details.

bash
cargo fmt                                 # Rust formatting
cargo test                                # Rust tests
cargo clippy -- -Dwarnings                # Rust lints (warnings = errors)
ruff format --check && ruff check --fix   # Python formatting + lints
alejandra                                 # Nix formatting

Workspace Structure

The Cargo workspace has 57 members. Key crates by area:

AreaCrates
Simulationnox, elodin-macros, nox-py, nox-frames, cranelift-mlir
Databasedb, db/cli, db/eql, db/tests
Telemetryimpeller, impeller/{bevy,stellar,bbq,frame,kdl,wkt}
Editorelodin-editor, apps/elodin
Runtimestellarator, stellarator/{buf,macros,maitake}
Flight SWroci, roci/{macros,adcs}
FSW Appsserial-bridge, mekf, msp-osd, lqr, blackbox, gstreamer, video-streamer
Utilitieswmm, s10, video-toolbox

Working from Repository Root

Always run commands from the repo root. This prevents path confusion across the many workspace members and aligns with how CI runs.

Component-Specific Skills

For deeper work on specific areas, see:

  • Editor: .cursor/skills/elodin-editor-dev/
  • Python SDK: .cursor/skills/nox-py-dev/
  • Database: .cursor/skills/elodin-db/
  • Aleph/NixOS: .cursor/skills/elodin-aleph/
  • Nix environment: .cursor/skills/elodin-nix/

© elodin-sys, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in .cursor/skills/elodin-dev of elodin-sys/elodin.

  • SKILL.md
  • ci-checks.md

Open the folder on GitHubat commit 3bc1d99

Compare with similar skills

Elodin Dev next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Elodin Dev compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Elodin Dev this skillelodin-sys/elodin547—~896Automated safety check: PassApache-2.0
RustPython Stdlib UpgradeRustPython/RustPython22k—~876Automated safety check: PassMIT
Rocky Codegenrocky-data/rocky304—~1.9kAutomated safety check: PassApache-2.0
Code RefinerMathews-Tom/armory328—~3.1kAutomated safety check: PassMIT
Precheckayutaz/piper-plus220—~647Automated safety check: PassMIT
Run Testsayutaz/piper-plus220—~641Automated safety check: PassMIT

Similar skills

  • RustPython Stdlib Upgrade

    RustPython/RustPython

    Upgrades a Python standard library module from CPython into RustPython with update_lib, then triages and marks the tests that still fail.

    22k GitHub stars~876 tokensUpdated today
    DevelopmentAuto-check passed

  • Rocky Codegen

    rocky-data/rocky

    Rocky CLI JSON-output schema cascade. An agent skill from rocky-data/rocky.

    304 GitHub stars~1.9k tokensUpdated today
    DevelopmentAuto-check passed

  • Code Refiner

    Mathews-Tom/armory

    Deep code simplification and refactoring preserving behavior across Python, Go, TypeScript, Rust.

    328 GitHub stars~3.1k tokensUpdated 2 days ago
    DevelopmentAuto-check passed

  • Precheck

    ayutaz/piper-plus

    PR 作成前の lint + format + test 一括実行。引数で scope (python/rust/cs/go/js/cpp/all) を指定可能。未指定なら git diff から自動判定。

    220 GitHub stars~647 tokensUpdated today
    DevelopmentAuto-check passed

  • Run Tests

    ayutaz/piper-plus

    piper-plus の各言語ランタイムのテストを実行します。引数 python/rust/cs/go/js/cpp/all で対象を選択。未指定なら git diff から自動判定。

    220 GitHub stars~641 tokensUpdated today
    DevelopmentAuto-check passed

  • Check Tools

    oaustegard/claude-skills

    Validates development tool installations across Python, Node.js, Java, Go, Rust, C/C++, Git, and system utilities.

    150 GitHub stars~641 tokensUpdated today
    DevelopmentAuto-check passed

More from elodin-sys/elodin

All 14 skills in this repo

  • Branch Regression

    elodin-sys/elodin

    Compare two git branches (usually the current branch vs main) by running every example on each, capturing exit codes, logs, and editor screenshots, then diffing the results.

    547 GitHub stars~1.6k tokensUpdated today
    Auto-check passed

  • Elodin Cranelift

    elodin-sys/elodin

    Work with the Cranelift JIT MLIR backend. An agent skill from elodin-sys/elodin.

    547 GitHub stars~2k tokensUpdated today
    Auto-check passed

  • Elodin DB

    elodin-sys/elodin

    Work with Elodin-DB, the time-series telemetry database. An agent skill from elodin-sys/elodin.

    547 GitHub stars~2.8k tokensUpdated today
    Auto-check passed

  • Elodin Editor Dev

    elodin-sys/elodin

    Contribute to the Elodin Editor, the 3D viewer and graphing tool.

    547 GitHub stars~3.4k tokensUpdated today
    Auto-check passed

  • Elodin Headless Capture

    elodin-sys/elodin

    Run the Elodin Editor without a physical display in Gamescope, take screenshots, and record video through PipeWire and GStreamer.

    547 GitHub stars~2.2k tokensUpdated today
    Auto-check: notes

  • Elodin Monte Carlo

    elodin-sys/elodin

    Develop and calibrate simulations against experimental truth data using elodin monte-carlo.

    547 GitHub stars~2.9k tokensUpdated today
    Auto-check passed

Works with

Categories

Questions about Elodin Dev

What does Elodin Dev do?

Develop and contribute to the Elodin codebase. An agent skill from elodin-sys/elodin. Elodin Dev is an agent skill from elodin-sys/elodin. Develop and contribute to the Elodin codebase.

When should I use Elodin Dev?

Elodin Dev fits situations like: building Elodin from source; modifying core libraries; working on the Rust workspace; onboarding as a contributor.

How do I install Elodin Dev in Claude Code?

Run `npx skills add elodin-sys/elodin --skill elodin-dev -a claude-code`. Or copy the skill folder (.cursor/skills/elodin-dev in elodin-sys/elodin) into .claude/skills/elodin-dev in your project. Claude Code loads it when a task matches its description.

How do I install Elodin Dev in Codex?

Run `npx skills add elodin-sys/elodin --skill elodin-dev -a codex`. Or copy the skill folder (.cursor/skills/elodin-dev in elodin-sys/elodin) into .agents/skills/elodin-dev in your project. Codex loads it when a task matches its description.

Can I use Elodin Dev in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add elodin-sys/elodin --skill elodin-dev -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/elodin-dev, .gemini/skills/elodin-dev, .github/skills/elodin-dev and .opencode/skills/elodin-dev in your project.

What does Elodin Dev need to run?

Going by SKILL.md and its folder, Elodin Dev needs the command-line tools its instructions call (cargo, nix, ruff, python, just and brew). Our summary lists: Python 3.

Does Elodin Dev access the network?

SKILL.md names 3 domains. As links in the text: determinate.systems, just.systems and git-lfs.com. This is read from the text; nothing was executed.

Is Elodin Dev safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Elodin Dev use?

Elodin Dev is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Elodin Dev use?

About 896 tokens (SKILL.md is roughly 3.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Elodin Dev?

Skills that share tags, products or a category with Elodin Dev: RustPython Stdlib Upgrade (RustPython/RustPython, 22k stars), Rocky Codegen (rocky-data/rocky, 304 stars), Code Refiner (Mathews-Tom/armory, 328 stars) and Precheck (ayutaz/piper-plus, 220 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Elodin Dev?

elodin-sys (a GitHub organization) maintains it in elodin-sys/elodin, which has 547 GitHub stars. The repository holds 14 skills in this directory. The repository was last updated on October 7, 2026.

Source: elodin-sys/elodin on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.