搜索结果：is（263 个）
按分类缩小范围
面向高难度知识学习的 AI Agent 教学框架，结合你的理解与思考过程定制教学，循序渐进搭建知识体系。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
ha_xiaomi_home
综合 59
用于将米家设备接入 Home Assistant 智能家居系统的官方集成插件。
csghub
综合 59
对标 Hugging Face 的开源大语言模型（LLM）管理平台，提供开源、本地化部署及 SaaS 解决方案。
claude-seo
综合 59
面向 Claude Code 的全能 SEO 技能库，涵盖技术 SEO、E-E-A-T、结构化数据及反向链接等。
上下文工程入门指南，主要围绕 Claude Code 展开，分享如何让 AI 编程助手高效产出。
OpenMinis
综合 59
完全免费且开源的跨平台 AI Agent 应用程序。
LibreChat
综合 58
增强版开源 ChatGPT Web 客户端，支持 Agent、MCP、Artifacts、模型切换及多家主流大模型 API。
open-code-review
综合 58
阿里经实战检验的混合架构代码评审工具，结合确定性流程与 LLM Agent 行级审查。
ironclaw
综合 58
专注于隐私、安全性和高扩展性的 Agent 操作系统。
CowAgent
综合 58
开源个人 AI 助手与 Agent 框架，支持任务规划、工具调用与记忆进化，适配多模型与多通道。
posthog （开源产品分析与实验平台）
综合 58
PostHog 是一体化开发者平台，集成产品分析、AI 可观测性、会话回放、功能标志及错误追踪，助你排查问题并优化产品。
claude-skills
综合 58
面向 Claude Code、Cursor 等智能体的技能与插件库，含 410+ 技能与 120+ Agent 资源。
symphony
综合 58
将项目任务拆解为独立自治的执行流，使团队专注于业务而非监督 Coding Agent。
lotti
综合 58
自带个人 AI 助手的私密日志应用，支持设备间端到端加密同步。
TencentDB-Agent-Memory
综合 57
团队级 AI Agent 记忆中心，将对话、文档与代码沉淀为四类可复用的记忆资产。
warp
综合 56
一款脱胎于终端的 Agent 架构现代化开发环境。
cc-connect
综合 56
将本地 AI 编程工具接入飞书、钉钉、微信等平台的连接桥。
OpenMontage
综合 56
开源 Agent 视频制作系统，内含 12 条制作管线与 100+ 工具，将 AI 编程助手变为完整视频制作工具。
ego-lite
综合 55
面向 AI Agent 的快速自动化浏览器，零配置且可在不打扰用户的前提下共享登录态。