rov

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

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包存档

🧱 为AI代理提供的安全、本地化、跨平台且可编程的沙箱环境

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

一款跨平台桌面应用程序，用于管理和切换Claude Code与Codex的供应商配置及MCP服务器。

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