rov

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

该信任最小化的零知识跨链协议专为抗审查、极高安全性和去中心化金融应用场景而设计。

⌥ 终端AI编程代理——基于哈希锚定的编辑、优化的工具集、LSP、Python、浏览器、子代理等

互联网级OpenID Certified™ OpenID Connect与OAuth2.1提供商，通过无头API与您的用户管理系统集成。

精选的优质 Kubernetes 资源列表 🚢🎉

ArduPlane、ArduCopter、ArduRover、ArduSub飞行器控制源码

学习Vim与Vimscript并非难事。这正是您寻找的指南📖

Canopy Network协议的官方Go语言实现

一款开箱即用、支持主流框架的PHP部署工具

AWS Provider 使 Terraform 能够管理 AWS 资源

支持可插拔连接器的OpenID Connect身份认证与OAuth 2.0授权提供方

响应式缓存与数据绑定框架。Riverpod让异步代码处理变得轻松自如。

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

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

Azure资源管理器的Terraform提供商

OpenTelemetry .NET 客户端

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

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

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

通用插件规范社区仓库

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

Cloudflare Terraform 提供商

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

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