aria-tools

🚧 Rebrand in progress: Aria is becoming Nitpick. This tooling repo still uses Aria names while the migration is underway. Editor grammars, generated extension assets, and tool command names need compatibility planning before any breaking rename.

Developer tools for the Aria programming language.

Components

aria-ls (Language Server)

LSP-compatible language server bundled with the main compiler. Provides diagnostics, hover, go-to-definition, completion, document symbols, references, and signature help. Source lives in the aria repo at src/tools/lsp/.

aria-safety (Static Auditor)

Static safety audit tool for Aria source files. Written in C. Scans for wild/raw/drop/ok usages, relaxed atomics, FFI boundaries, unsafe blocks, and trivial failsafe handlers.

cd aria-safety && make
./aria-safety path/to/file.npk
./aria-safety --json path/to/project/   # JSON output
./aria-safety --summary path/to/project/# per-tag statistics

aria-mcp (MCP Server)

Model Context Protocol server for AI-assisted Aria development. Zero external dependencies — pure Python 3.8+ stdlib. Provides 5 tools: aria_compile, aria_check, aria_docs, aria_format, aria_ask.

python3 aria-mcp/aria_mcp.py

VS Code Extension

Full VS Code extension with TextMate syntax highlighting, LSP integration (aria-ls), DAP debug adapter integration, and language configuration. Located in editors/vscode/.

Editor Support

• tree-sitter-aria — Tree-sitter grammar for Neovim, Helix, and other tree-sitter editors
• emacs — Emacs major mode (aria-mode.el) with full syntax highlighting, indentation, and typed literal support
• vscode-aria — Legacy VS Code syntax extension (superseded by editors/vscode/)

License

AGPL-3.0 — see LICENSE.md