aria工具
 
🚧 正在进行品牌重塑: Aria正在成为 吹毛求疵.此工具库 在迁移过程中,仍然使用Aria名称。编辑器语法, 生成的扩展资源和工具命令名称需要兼容性规划 在任何破坏性重命名之前。
开发人员工具 Aria程序设计语言.
组件
aria-ls(语言服务器)
与主编译器捆绑在一起的LSP兼容语言服务器。提供诊断、悬停、转到定义、完成、文档符号、参考和签名帮助。源生活在 aria回购 在 src/tools/lsp/.
aria安全(静态审计员)
Aria源文件的静态安全审计工具。写在C.扫描 wild/raw/drop/ok 用法、宽松的原子性、FFI边界、不安全块和琐碎的故障保护处理程序。
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 statisticsaria-mcp(mcp服务器)
模型上下文协议 用于AI辅助Aria开发的服务器。零外部依赖——纯Python 3.8+stdlib。提供5个工具: aria_compile, aria_check, aria_docs, aria_format, aria_ask.
python3 aria-mcp/aria_mcp.pyVS Code 扩展
完整的VS代码扩展,带有TextMate语法高亮显示、LSP集成(aria-ls)、DAP调试适配器集成和语言配置。位于 editors/vscode/.
编辑支持
- 树保姆咏叹调 --Neovim、Helix和其他树形图编辑器的树形图语法
- 编辑器 --Emacs主模式(
aria-mode.el)具有完整的语法高亮显示、缩进和类型化文字支持 - vscode咏叹调 --旧VS代码语法扩展(已被取代
editors/vscode/)
许可证
AGPL-3.0——见 许可证.md
