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 许可证,这意味着任何公开可用的实例都必须提供源代码,包括所有修改,以确保用户的使用自由。

编辑推荐精选

TRAE编程

TRAE编程

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

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

AI工具TraeAI IDE协作生产力转型热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

Transly

Transly

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

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

讯飞绘文

讯飞绘文

选题、配图、成文,一站式创作,让内容运营更高效

讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。

热门AI辅助写作AI工具讯飞绘文内容运营AI创作个性化文章多平台分发AI助手
商汤小浣熊

商汤小浣熊

最强AI数据分析助手

小浣熊家族Raccoon,您的AI智能助手,致力于通过先进的人工智能技术,为用户提供高效、便捷的智能服务。无论是日常咨询还是专业问题解答,小浣熊都能以快速、准确的响应满足您的需求,让您的生活更加智能便捷。

imini AI

imini AI

像人一样思考的AI智能体

imini 是一款超级AI智能体,能根据人类指令,自主思考、自主完成、并且交付结果的AI智能体。

下拉加载更多