rov

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

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

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

A privacy-first app that strips AI watermarks from content you own.

您需要的认证胶水。

Bend 2：一种通过证明阻止人工智能错误的快速语言。安装：curl -fsSL https://bend-lang.com/install.sh |嘘

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

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

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

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

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

Apereo CAS - 为所有地球人和其他人提供身份和单点登录。

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

AWS Provider 使 Terraform 能够管理 AWS 资源

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

用于上下文和负责任的人工智能系统的图本机基础设施

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

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

可嵌入、可移植、可分支的虚拟机，可在本地安全运行代理。

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

Doorkeeper 是 Ruby on Rails / Grape 的 OAuth 2 提供程序。

Azure资源管理器的Terraform提供商

OpenTelemetry .NET 客户端

在真实且隔离的机器（自己的内核、文件系统和网络）上运行 AI 代理，启动时间小于 100 毫秒。本地优先、OCI 兼容、纯 Rust。