由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
v
话题找到数量
karmada-io/karmada
Open, Multi-Cloud, Multi-Cluster Kubernetes Orchestration
madhuakula/kubernetes-goat
Kubernetes Goat 是一个“刻意设计存在漏洞”的集群环境,旨在通过交互式实践平台学习和练习 Kubernetes 安全防护 🚀
getsentry/XcodeBuildMCP
一个模型上下文协议(MCP)服务器和命令行工具,为处理iOS和macOS项目时的智能体使用提供工具。
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
Michael-A-Kuykendall/shimmy
⚡ 无需Python的Rust推理服务器 — 兼容OpenAI-API。支持GGUF与SafeTensors、热模型切换、自动发现、单二进制文件。现在免费,永远免费。
apify/apify-mcp-server
Apify MCP 服务器使您的 AI 代理能够使用 Apify 商店中提供的数千个现成的抓取工具、爬虫和自动化工具从社交媒体、搜索引擎、地图、电子商务网站或任何其他网站提取数据。
open-edge-platform/anomalib
一个异常检测库,包含最先进的算法以及实验管理、超参数优化和边缘推理等功能。
crocodilestick/Calibre-Web-Automated
自动化Calibre-Web且保留Calibre全部功能!让电子书管理全自动化和简易化!