由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
pe
话题找到数量
madhuakula/kubernetes-goat
Kubernetes Goat 是一个“刻意设计存在漏洞”的集群环境,旨在通过交互式实践平台学习和练习 Kubernetes 安全防护 🚀
Michael-A-Kuykendall/shimmy
⚡ 无需Python的Rust推理服务器 — 兼容OpenAI-API。支持GGUF与SafeTensors、热模型切换、自动发现、单二进制文件。现在免费,永远免费。
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
ossf/scorecard
OpenSSF Scorecard - Security health metrics for Open Source
Ed1s0nZ/CyberStrikeAI
CyberStrikeAI 是一款基于 Go 语言构建的 AI 原生安全测试平台。它集成了 100 多种安全工具、一个智能编排引擎、基于预定义安全角色的角色化测试、具备专业测试技能的技能系统以及全面的生命周期管理功能。
FalkorDB/FalkorDB
超高速图数据库底层使用GraphBLAS进行稀疏邻接矩阵图表示,目标是提供最适合大语言模型的知识图谱
gosom/google-maps-scraper
从谷歌地图抓取数据。提取每个地点的名称、地址、电话号码、网站URL、评分、评论数量、经纬度、评论内容、电子邮件等信息。
rorkai/App-Store-Connect-CLI
适用于 App Store Connect API 的快速、可脚本化命令行工具。自动化 TestFlight、构建、提交、签名、分析、截图、订阅等操作。优先使用 JSON,无交互式提示。
yournextstore/yournextstore
原生AI开源Next.js电商平台。基于Stripe支付系统驱动。搭载类型安全的商业SDK,实现极速性能。专为AI开发环境打造,兼容Claude、Codex、Cursor等工具。