搜索结果：is（1859 个）
按分类缩小范围
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
unity-mcp
综合 53
连接 AI 助手与 Unity 编辑器的桥梁，让 LLM 能够管理资产、操作场景、编辑脚本并自动化任务。
arc-task-gen
综合 53
生成与公开评估集分布相匹配的原创 ARC-AGI-1 风格任务。
open-source-mac-os-apps
综合 53
精选 macOS 开源应用合集列表。
anki （间隔重复记忆卡片）
综合 53
Anki 是一款基于间隔重复算法的智能记忆卡片软件，通过科学规划复习时间，帮助用户高效且长久地记忆知识。
koog
综合 53
构建高容错、跨平台企业级 AI Agent 的 JVM 框架。
certbot
综合 53
EFF 出品的自动化证书工具，可从 Let's Encrypt 获取证书并自动启用 HTTPS，支持各类 ACME 协议 CA。
code-review-graph
综合 53
面向 MCP 和 CLI 的本地优先代码智能图谱，构建持久化代码地图以缩减 AI 编码工具上下文。
evals
综合 53
用于评估 LLM 及其系统的开源框架，并提供基准测试集。
专为开发者整理的设计与 UI 资源合集，含模板、组件库与实用工具。
winutil
综合 53
Windows 实用工具箱，支持软件安装、系统优化、故障修复及更新管理。
trackerslist
综合 53
持续同步更新的公共 BitTorrent Tracker 列表。
umami （隐私优先的网站分析平台）
综合 53
Umami 是注重隐私的网站与产品分析平台，不依赖 Cookie，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。
QwenPaw
综合 53
个人 AI 助手，安装简便，支持本地或云端部署，适配多款聊天应用且功能易扩展。
nanoclaw
综合 53
容器化运行的安全轻量 OpenClaw 替代方案，支持 WhatsApp、Telegram 等平台，带记忆与定时任务。
infisical （开源密钥与凭据管理平台）
综合 53
开源安全管理平台，用于集中保护和管理密钥、证书、访问权限及 AI Agent。
agentmemory
综合 53
基于实际基准评测、专为 AI 编程 Agent 设计的持久化记忆方案。
mastra
综合 53
专为 AI 驱动的应用和 Agent 打造的现代化 TypeScript 框架。
tinker
综合 53
Android 热修复方案库，无需重新安装 APK 即可更新 dex、库和资源。