aria-tools

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.aria
./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