由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
t
话题找到数量
madhuakula/kubernetes-goat
Kubernetes Goat 是一个“刻意设计存在漏洞”的集群环境,旨在通过交互式实践平台学习和练习 Kubernetes 安全防护 🚀
getsentry/XcodeBuildMCP
一个模型上下文协议(MCP)服务器和命令行工具,为处理iOS和macOS项目时的智能体使用提供工具。
Michael-A-Kuykendall/shimmy
⚡ 无需Python的Rust推理服务器 — 兼容OpenAI-API。支持GGUF与SafeTensors、热模型切换、自动发现、单二进制文件。现在免费,永远免费。
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
mono/SkiaSharp
SkiaSharp是基于谷歌Skia图形库的跨平台.NET二维图形接口,提供统一的二维应用程序接口,可应用于移动端、服务器端和桌面端模型的图像渲染。
smol-ai/GodMode
AI 聊天浏览器:快速、完整的网页应用,一键访问 ChatGPT / Claude / Bard / Bing / Llama2!我每天使用它二十次。