搜索结果：ai（112 个）
按分类缩小范围
tamarin-prover
综合 51
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
cherry-studio
综合 50
集成了各类模型、Agent 与效率工具的 AI 工作台桌面应用。
easy_tv_live
综合 50
极简、轻量级的全平台 IPTV 播放器，支持 Android TV 大屏。
提供免费域名注册与实用 DNS 学习资源的平台，支持自定义 nameservers，帮助开发者零成本获得域名并学习上线部署。
PageIndex
综合 49
面向无向量、基于推理的 RAG 打造的文档索引工具。
openGym
综合 49
开源健身记录 App，支持计划定制、动作记录与肌肉受力展示，可从主流软件导入数据。
You-Dont-Need-jQuery
综合 49
演示如何用原生 JavaScript 实现类似 jQuery 的 DOM 查询、样式、Ajax 与事件处理等操作。
OfficeCLI
综合 49
专为 AI Agent 打造的 Office 命令行工具，单二进制文件无需安装 Office，支持自动化读写 Word、Excel 和 PPT。
project-nomad
综合 48
离线优先的知识教育服务端，无需联网即可本地运行维基、书籍、地图及可选本地 AI。
karakeep
综合 48
支持自托管的万象书签工具，具备 AI 自动标签与全文检索功能。
planning-with-files
综合 48
基于文件的 AI 编程 Agent 持久化规划工具，支持长任务、会话恢复、上下文防衰退与 Markdown 计划管理。
containers
综合 48
`containers` 是 Haskell 官方的核心数据结构库。它解决了开发者需要高效组织和处理数据的通用需求，提供了树、图、集合（Set）、序列（Sequence）以及键值映射（Map）等多种开箱即用的具体容器类型与常见操作接口。
markstream-vue
综合 48
专为 AI 应用打造的多框架流式 Markdown 渲染器，支持 Vue、React 等及数学公式渲染。
timeful
综合 48
免费易用的日程协调平台，支持日历集成与空闲时间投票，方便团队敲定会议时间。
content-wind
综合 47
基于 Nuxt Content、TailwindCSS 和 Iconify 构建的轻量级 Markdown 驱动网站模板。
Swashbuckle.AspNetCore
综合 46
用于为 ASP.NET Core API 生成 Swagger 文档的工具包。
graphify （代码库知识图谱构建工具）
综合 45
将代码库及文档、SQL、配置、PDF 转为可查询知识图谱，提供支持本地 AST 解析的 /graphify skill。
用 AI 将文档或主题生成原生 PPT，支持原生图形、转场动画、图表数据及旁白配音。
docling
综合 45
面向生成式 AI 的文档解析与预处理工具，助你快速准备高质量数据。
llama_index （大模型数据接入框架）
综合 45
LlamaIndex 是专为 AI 设计的文档处理与 Agent 开发框架。它主要解决复杂文档解析难、AI 难以高效利用文档上下文的问题。核心功能包括文档智能解析与信息提取（如 LlamaParse）、RAG 与 Agent 编排工具，并提供超 300 种插件集成生态。