由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
ssi
话题找到数量
OpenSenseNova/SenseNova-Skills
用于构建人工智能驱动的办公助理和生产力工作流程的模块化 SenseNova 技能
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
open-edge-platform/anomalib
一个异常检测库,包含最先进的算法以及实验管理、超参数优化和边缘推理等功能。
antinomyhq/forge
面向Claude、GPT、O系列、Grok、Deepseek、Gemini及300多种模型的AI增强型结对编程工具
Manavarya09/design-extract
使用一个命令提取任何网站的完整设计系统。 DTCG 代币、语义+基元+复合、Claude Code/Cursor/Windsurf 的 MCP 服务器、多平台发射器(iOS SwiftUI、Android Compose、Flutter、WordPress)、Tailwind v4、Figma 变量、shadcn/ui、CSS 健康审计、WCAG 修复、Chrome 扩展。麻省理工学院,剧作家,Node 20+。
Clooos/Bubble-Card
Bubble Card is a minimalist and customizable card collection for Home Assistant, featuring modern pop-ups and an integrated Module Store with over 100 community-made modules.
campfirein/byterover-cli
ByteRover CLI (brv) - 为自主编码智能体设计的便携式记忆层(原名Cipher)