Instrukt

Instrukt

基于终端的支持用户创建和管理模块化AI代理,生成用于问答的文档索引,并可以附加多种工具的AI集成平台

Instrukt提供了一个基于终端的AI集成平台,支持用户创建和管理模块化AI代理,生成用于问答的文档索引,并可以附加多种工具。通过安全容器,确保任务执行的安全性和隔离,适用于多种开发环境和文档管理需求,为开发人员提供了强大的支持。

InstruktAI代理索引管理OpenAIDockerGithub开源项目

项目介绍

Instrukt 是一个基于终端的 AI 集成环境,旨在为用户提供一个能够创建、管理和使用各种 AI 代理的平台。它允许用户在不离开终端的情况下操作和管理 AI 代理,并提供了一系列丰富的功能如文档索引生成和工具附加等。

项目功能

用户界面

Instrukt 提供了一个终端界面,适合重度键盘用户,无需鼠标即可操作。界面支持色彩丰富的输出,使用 Markdown 和源代码展示内容,用户还可以通过 SSH 和终端多路复用器进行远程访问。

自定义 AI 代理

用户可以设计自定义的 AI 代理和工具,这些代理和工具可以作为 Python 包进行共享和加载。同时,用户可以通过自然语言指令这些代理,并将其运行在安全的 Docker 容器中,确保安全和隐私。

文档和代码管理

Instrukt 可以根据用户创建的索引进行问答。用户可以通过简单的界面创建和组织索引,这些索引会自动检测编程语言并优化切分策略。用户还可以使用快捷键选择用于检索的源文档。

工具设计与使用

用户可以使用预定义的工具集合,也可以设计自己的工具,将其动手附加到 AI 代理中,满足特定的工作流程需求。

提示控制台

通过集成的 REPL 提示(快速反馈循环)与代理进行交互,发展和测试过程中获得快速反馈。用户可以自动化重复任务,并使用自己偏好的文本编辑器编辑消息。

安全性

为了增强安全性和隐私性,Instrukt 将代理运行在安全的 Docker 容器中,并使用 gVisor 运行时实现系统的完全隔离。

开发者控制台

Instrukt 提供一个内置的 IPython 控制台,方便用户调试和审视 AI 代理。

文档索引与问答系统

Instrukt 支持使用 OpenAI 或本地嵌入模型创建索引,通过 Chroma 管理这些索引。用户可以在界面中轻松管理和创建索引,索引可以被任何代理用作检索工具,进行问题回答。

支持平台

Instrukt 支持 Linux 和 Mac,并在 Windows 的 WSL2 下进行了测试。

未来计划

Instrukt 未来将支持私有本地 LLM 模型,提升在本地环境中的可用性和集成性。除此之外,还计划增加更多的索引和嵌入功能,以及完善相关文档和开发教程。

贡献与支持

Instrukt 欢迎任何形式的贡献,包括报告问题、提交拉取请求和帮助完善文档。用户还可以通过 Patreon 支持 Instrukt 的持续开发以获得更多功能。

社交与愿景

Instrukt 致力于让 AI 工具可供所有人使用,不受限于大型公司和 SaaS 服务的围墙。它支持用户通过选择本地模型和自托管服务保持自由。通过加入 Discord 社区,用户可以获得项目最新资讯和技术支持。

许可证

Instrukt 采用 AGPL 许可证,这意味着任何公开可用的实例都必须提供源代码,包括所有修改,以确保用户的使用自由。

编辑推荐精选

Keevx

Keevx

AI数字人视频创作平台

Keevx 一款开箱即用的AI数字人视频创作平台,广泛适用于电商广告、企业培训与社媒宣传,让全球企业与个人创作者无需拍摄剪辑,就能快速生成多语言、高质量的专业视频。

即梦AI

即梦AI

一站式AI创作平台

提供 AI 驱动的图片、视频生成及数字人等功能,助力创意创作

扣子-AI办公

扣子-AI办公

AI办公助手,复杂任务高效处理

AI办公助手,复杂任务高效处理。办公效率低?扣子空间AI助手支持播客生成、PPT制作、网页开发及报告写作,覆盖科研、商业、舆情等领域的专家Agent 7x24小时响应,生活工作无缝切换,提升50%效率!

TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
蛙蛙写作

蛙蛙写作

AI小说写作助手,一站式润色、改写、扩写

蛙蛙写作—国内先进的AI写作平台,涵盖小说、学术、社交媒体等多场景。提供续写、改写、润色等功能,助力创作者高效优化写作流程。界面简洁,功能全面,适合各类写作者提升内容品质和工作效率。

AI辅助写作AI工具蛙蛙写作AI写作工具学术助手办公助手营销助手AI助手
问小白

问小白

全能AI智能助手,随时解答生活与工作的多样问题

问小白,由元石科技研发的AI智能助手,快速准确地解答各种生活和工作问题,包括但不限于搜索、规划和社交互动,帮助用户在日常生活中提高效率,轻松管理个人事务。

热门AI助手AI对话AI工具聊天机器人
Transly

Transly

实时语音翻译/同声传译工具

Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。

讯飞智文

讯飞智文

一键生成PPT和Word,让学习生活更轻松

讯飞智文是一个利用 AI 技术的项目,能够帮助用户生成 PPT 以及各类文档。无论是商业领域的市场分析报告、年度目标制定,还是学生群体的职业生涯规划、实习避坑指南,亦或是活动策划、旅游攻略等内容,它都能提供支持,帮助用户精准表达,轻松呈现各种信息。

AI办公办公工具AI工具讯飞智文AI在线生成PPTAI撰写助手多语种文档生成AI自动配图热门
讯飞星火

讯飞星火

深度推理能力全新升级,全面对标OpenAI o1

科大讯飞的星火大模型,支持语言理解、知识问答和文本创作等多功能,适用于多种文件和业务场景,提升办公和日常生活的效率。讯飞星火是一个提供丰富智能服务的平台,涵盖科技资讯、图像创作、写作辅助、编程解答、科研文献解读等功能,能为不同需求的用户提供便捷高效的帮助,助力用户轻松获取信息、解决问题,满足多样化使用场景。

热门AI开发模型训练AI工具讯飞星火大模型智能问答内容创作多语种支持智慧生活
Spark-TTS

Spark-TTS

一种基于大语言模型的高效单流解耦语音令牌文本到语音合成模型

Spark-TTS 是一个基于 PyTorch 的开源文本到语音合成项目,由多个知名机构联合参与。该项目提供了高效的 LLM(大语言模型)驱动的语音合成方案,支持语音克隆和语音创建功能,可通过命令行界面(CLI)和 Web UI 两种方式使用。用户可以根据需求调整语音的性别、音高、速度等参数,生成高质量的语音。该项目适用于多种场景,如有声读物制作、智能语音助手开发等。

下拉加载更多