ion-lang

Write new Ion programs and .ion source files using only verified language features from ION_SPEC.md, examples/, tests/, and stdlib/. Guides ownership, no-escape borrows, channels, and stdlib imports. Use when the user asks to write Ion code, create an Ion program, script, example, or application, or implement logic in .ion files. Do not invent syntax or APIs from Rust, C, Go, or other languages.

Systematically find and reproduce bugs in the ion-lang compiler, runtime, and tests. Use when debugging failures, hunting regressions, investigating wrong codegen, type-check mistakes, test_runner failures, clippy warnings, or when the user asks to find bugs, triage issues, or review changes for defects. Also use before filing GitHub issues or after a feature change breaks tests.

Author new Cursor Agent Skills for the ion-lang repository. Use when creating or editing skills in .cursor/skills/, writing SKILL.md frontmatter, adding references/ or scripts/, or asking how to structure project skills for Ion. Do not use for personal skills in ~/.cursor/skills/.

Find and summarize academic programming language research (PhD theses, POPL, PLDI, ICFP, OOPSLA papers) relevant to Ion design and implementation. Use when the user asks for PL research, papers on ownership, borrow checking, linear types, channels, Send traits, transpilation, or evidence for language or compiler decisions in ion-lang.