rov

在回滚文件与SQLite状态之间同步Codex会话提供程序元数据。

一个自动化服务器生命周期的应用程序

自动检测并跳过Jellyfin中的片头片尾序列

计划、应用和回滚对生产本体的更改，并提供爆炸半径报告和审核员可以重新检查的证据。

通用插件规范社区仓库

每个 E2B 堆栈背后的运行时：云、企业和您自己的机器。

为E2B云提供动力的基础设施。

Cloudflare Terraform 提供商

生产就绪的AI聊天模板。从此处开始，将其定制为您自己的项目。前身为Sparka AI

远程MCP服务器能够安全地将Jira和Confluence与您选择的LLM、IDE或智能体平台相连接。

Isolated VM environment for running Claude Code and Codex

您自己运行的开源、兼容 OpenAI 的 LLM 网关。适用于 40 多家提供商的一个端点，具有虚拟密钥、预算和使用情况跟踪功能。

Login.gov 核心应用：身份提供商

用于查询AI服务提供商请求的插件。

Neovim 对 Lean 定理证明器的支持

用于ROV、USV、机器人系统操作、开发与扩展的开源平台。

用于Coq的Visual Studio Code扩展

Terraform Datadog提供商

Terraform AWS云控制提供商

Blue Brain Nexus - 面向数据驱动科学的知识图谱

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

按不同仓库组织的所有Rocq和Coq相关opam包存档