搜索结果：assistant（5 个）
按分类缩小范围
DocsGPT
综合 81
面向 Agent、助手与企业搜索的私有 AI 平台，支持多模型、文档分析及深度研究。
inbox-zero
综合 73
开源 AI 邮件个人助理，帮助用户快速实现收件箱清零（inbox zero）。
khoj
综合 70
支持自托管的个人 AI 第二大脑，可从网络或本地文档检索问答，构建 Agent 与自动化任务。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
lotti
综合 58
自带个人 AI 助手的私密日志应用，支持设备间端到端加密同步。