搜索结果：ant（29 个）
按分类缩小范围
DocsGPT
综合 81
面向 Agent、助手与企业搜索的私有 AI 平台，支持多模型、文档分析及深度研究。
Resume-Matcher
综合 76
支持 100+ 种 LLM 本地运行的 AI 简历与求职信制作及匹配工具。
inbox-zero
综合 73
开源 AI 邮件个人助理，帮助用户快速实现收件箱清零（inbox zero）。
khoj
综合 70
支持自托管的个人 AI 第二大脑，可从网络或本地文档检索问答，构建 Agent 与自动化任务。
activitywatch
综合 70
免费开源的跨平台自动时间追踪工具，可扩展且注重隐私保护。
geo-seo-claude
综合 68
面向 Claude Code 的 GEO/SEO 工具，为网站提供全方位的 AI 搜索优化方案。
PaddleNLP
综合 68
易用且强大的 LLM 与 SLM 库，内置丰富的优质模型库。
vditor
综合 67
一款浏览器端 Markdown 编辑器，支持所见即所得、类似 Typora 的即时渲染与分屏预览。
platform
综合 65
一体化项目管理协同平台，可替代 Jira、Linear、Slack 与 Notion。
planka
综合 65
优雅的开源团队自托管 Kanban 项目看板，提供免费社区版和面向组织的 PLANKA Pro 版。
qwik
综合 65
无需复杂优化即可实现瞬时加载的前端 Web 框架。
gallery-dl
综合 61
从多个图床网站下载图库与图集的命令行工具。
markor
综合 60
支持 Markdown、todo.txt 的 Android 文本编辑与笔记应用。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
scalameta
综合 59
scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。
awesome-math
综合 58
精选的优质数学学习与研究资源列表。
lotti
综合 58
自带个人 AI 助手的私密日志应用，支持设备间端到端加密同步。
rtk （LLM开发命令Token精简代理）
综合 57
Rust 编写的零依赖 CLI 代理，可将常见开发命令的 LLM Token 消耗降低 60-90%。
agents
综合 56
一次编写多端适配的 Agent 技能库，支持 Claude Code、Cursor 等工具。
lantern
综合 52
开源 VPN 工具，注重速度、隐私保护与网络畅通，支持全主流桌面与移动平台。