rov

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

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

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

Neovim 对 Lean 定理证明器的支持

用于Coq的Visual Studio Code扩展

Terraform Datadog提供商

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

Terraform AWS云控制提供商

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

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

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

通过多提供商在不同账户的多个VPC之间建立VPC对等的Terraform模块