aivi-language-designer

Use this skill when the user is designing or evolving AIVI: a statically typed, purely functional language that transpiles to Rust, with a VS Code extension and an LSP server. This skill provides workflows for language design, spec writing, desugaring/kernel design, type system evolution, Rust backend concerns, diagnostics, and tooling/LSP integration.