rocq-micromega-plugin Mac 版
用于Rocq证明器的Micromega决策过程插件
快速了解：rocq-micromega-plugin 是一款适用于 macOS 的命令行工具。
用
brew install rocq-micromega-plugin 安装。它采用 LGPL-2.1-only 许可证分发。 最近 30 天通过 Homebrew 安装了 23 次。 rocq-micromega-plugin 是什么
rocq-micromega-plugin 是一款适用于 macOS 的命令行工具：用于Rocq证明器的Micromega决策过程插件。
它以 Homebrew formula 形式分发，会构建或解包二进制文件并放进 PATH。该项目是开源的，代码位于 https://github.com/rocq-community/micromega-plugin。
如何安装 rocq-micromega-plugin
- 打开 终端（按 ⌘ + 空格，输入“终端”）。
- 如果还没安装 Homebrew，先运行下面这条安装命令。
- 运行
brew install rocq-micromega-plugin。
如果需要，先安装 Homebrew：
更喜欢图形安装包？可以从
官方网站
下载。本站从不托管或镜像二进制文件——Homebrew 命令始终从厂商自己的发布地址拉取。
命令行工具中的类似应用
同一分类中最接近的应用，按介绍相似度和安装量排序。它们是相关工具，并非确认可互换的替代品；人工挑选的正面对比请见对比页。
mupen64plus跨平台基于插件的 N64 模拟器libpeas@1GObject 插件库rocq-elpiRocq 的 Elpi 扩展语言qtwaylandWayland 平台插件和 QtWaylandCompositor APIargocd-vault-pluginArgo CD 插件，用于从秘密管理工具中检索秘密protoc-gen-doc用于 Google 协议缓冲的文档生成器插件
常见问题
如何在 Mac 上安装 rocq-micromega-plugin？
在“终端”中运行 brew install rocq-micromega-plugin。这需要 Homebrew；如果还没装，请先用下面的命令安装。
rocq-micromega-plugin 是开源软件吗？
是——Homebrew 以 LGPL-2.1-only 许可证分发它。
rocq-micromega-plugin 能在 Apple 芯片上运行吗？
Homebrew 为 macOS 提供这个 formula。如果上游没有发布 Apple 芯片版本，Rosetta 2 可以运行 Intel 二进制。
rocq-micromega-plugin 有多流行？
根据 Homebrew 统计，最近 30 天它被安装了 23 次，在本目录中排名第 6240。
rocq-micromega-plugin 当前是什么版本？
当前打包的最新版本是 1.1.1。
数据来自 Homebrew 公开 API，最后更新于 2026-10-26。安装量只统计通过 Homebrew 安装的次数，不代表总用户数。