cornelis Mac 版下载安装教程
Neovim 对 Agda 的支持
cornelis 是什么
cornelis 是一款命令行工具：Neovim 对 Agda 的支持。
它以 Homebrew formula 形式分发，会构建或解包二进制文件并放进 PATH。它采用 BSD-3-Clause 许可证分发。
cornelis 当前版本 2.8.0，以命令行工具形式提供，适合写进脚本或 CI 流程。
核心功能
功能与用途来自 Homebrew 元数据和项目说明，具体以官方文档为准。
- Neovim 对 Agda 的支持。
- 适合在命令行中完成批量处理和自动化任务。
- 以命令行工具形式安装，可在终端中直接调用。
cornelis 适合谁用
- 习惯在命令行完成批量处理与自动化的用户
- 希望审计源码、或需要自行编译修改的用户
- 需要在终端中调用、便于写进脚本或 CI 流程
cornelis 不适合：完全依赖图形界面、不熟悉命令行的用户。
安装量与热度
最近 30 天通过 Homebrew 安装 0 次，过去 12 个月累计 105 次。
如何安装 cornelis
- 打开 终端（按 ⌘ + 空格，输入“终端”）。
- 如果还没安装 Homebrew，先运行下面这条安装命令。
-
运行
brew install cornelis。
本站从不托管或镜像二进制文件——Homebrew 命令始终从厂商自己的发布地址拉取。
更喜欢图形安装包？可以从官方网站下载。
更喜欢图形安装包？可以从官方网站下载。
最近 10 个版本记录
版本信息加载中…
和同类应用怎么选
当前版本 2.8.0 已发布为正式版。 项目开源，可以自行审计代码、提交 issue 或参与贡献。 需要逐项对比时，可参考下方的替代品与对比页。
与同类应用对比
只对比公开元数据，不做主观推荐；需要逐项对比时见对比页。
| 应用 | 版本 | 许可证 | 架构 | 近 30 天安装 |
|---|---|---|---|---|
| cornelis | 2.8.0 | BSD-3-Clause | 命令行 | 0 |
| page | v4.6.3 | MIT | 命令行 | 14 |
| nvimpager | 0.14.0 | BSD-2-Clause | 命令行 | 14 |
| neovim-qt | nightly-9ec3c7a522d97d2ae01a816a70ce9e12d01967b7 | ISC | 命令行 | 35 |
命令行工具中的类似应用
同一分类中最接近的应用，按介绍相似度和安装量排序。它们是相关工具，并非确认可互换的替代品；人工挑选的正面对比请见对比页。
page
使用 Neovim 作为分页器nvimpager
使用 NeoVim 作为分页器来查看手册页、差异等。neovim-qt
Neovim 图形界面，使用 Qtmaki
高效的 AI 编码代理，可通过类似 Neovim 的 Lua 插件扩展
bob
Neovim 的版本管理器所属分类：命令行工具