Token导航 LogoToken导航TokenDH.com
Aria Tools logo
开发工具stdio官方级别未说明来源级核验

Aria Tools

MCP Server

Aria编程语言的开发者工具集,包含语言服务器、静态审计工具、MCP服务器和编辑器支持等功能。

工具数

5

提示词数

0

GitHub Stars

1

资源数

0
PythonVS Code静态分析VS Code

安装说明

本站只整理中文说明和来源信息,不托管安装包,也不代用户安装。

作者 / 组织

alternative-intelligence-cp

提供方

alternative-intelligence-cp

最后核验

2026/5/17 20:23

运行时

Python

快速接入

先看主来源和安装命令,再打开仓库或文档;下面只保留这个条目的关键接入事实。

命令预览

python3 aria-mcp/aria_mcp.py

详细介绍

aria工具

![CI](https://github.com/alternative-intelligence-cp/aria-tools/actions/workflows/ci.yml) ![License: Apache 2.0](https://www.apache.org/licenses/LICENSE-2.0)

🚧 正在进行品牌重塑: 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 statistics

aria-mcp(mcp服务器)

模型上下文协议 用于AI辅助Aria开发的服务器。零外部依赖——纯Python 3.8+stdlib。提供5个工具: aria_compile, aria_check, aria_docs, aria_format, aria_ask.

python3 aria-mcp/aria_mcp.py

VS Code 扩展

完整的VS代码扩展,带有TextMate语法高亮显示、LSP集成(aria-ls)、DAP调试适配器集成和语言配置。位于 editors/vscode/.

编辑支持

  • 树保姆咏叹调 --Neovim、Helix和其他树形图编辑器的树形图语法
  • 编辑器 --Emacs主模式(aria-mode.el)具有完整的语法高亮显示、缩进和类型化文字支持
  • vscode咏叹调 --旧VS代码语法扩展(已被取代 editors/vscode/)

许可证

AGPL-3.0——见 许可证.md

目录标签

目录标签

PythonVS Code静态分析编程语言工具本地部署语言服务器编辑器支持AI辅助开发

支持客户端

VS Code

接入字段

传输方式(transport,传输协议)

stdio

鉴权方式(authType,认证方式)

none

运行时(runtime,运行环境)

Python

工具数量(toolCount,工具数)

5

资源数量(resourceCount,资源数)

0

提示词数量(promptCount,提示词数)

0

权限和风险

stdionone部署方式未说明

接入前请确认传输方式、认证方式和部署位置,并根据实际工具能力限制访问范围。

安装前确认

不要直接授予不必要的文件、网络或账号权限;先核对安装命令和配置内容。

来源信息

继续浏览同类 MCP