需求人群:
"目标受众是开发者和编程人员,他们需要一个功能强大、支持AI辅助的代码编辑器来提高开发效率和代码质量。Void提供了与VS Code兼容的环境,使得开发者可以无缝迁移,同时享受AI带来的便利。"
使用场景示例:
开发者使用Void进行日常的代码编写和调试。
团队协作中,成员使用Void的智能搜索功能快速定位代码问题。
教育环境中,学生使用Void学习编程,利用AI辅助提高学习效率。
产品特色:
Tab:按'Tab'键应用自动补全。
Ctrl + K:选择内联编辑。
Ctrl + L:提问并包含文件。
支持VS Code主题、快捷键和设置一键迁移。
社区功能:任何人都可以推进我们的路线图或构建自己的AI集成。
智能文件索引:AI辅助的文件搜索。
细调生成:例如文档字符串。
查看和编辑底层提示。
快速应用:即使在1000行文件上也能快速应用。
上下文感知:根据上下文提供智能建议。
第三方集成:正在构建对代码库聊天、本地托管、文档搜索等的原生支持。
使用教程:
访问Void的官方网站并下载安装包。
安装并启动Void编辑器。
导入VS Code的主题、快捷键和设置。
使用Tab键进行代码自动补全。
使用Ctrl + K进行选择内联编辑。
使用Ctrl + L提问并包含文件。
探索社区功能,参与路线图的推进或构建自己的AI集成。
使用智能文件索引功能进行高效的文件搜索。
利用细调生成功能生成文档字符串等代码片段。
查看和编辑底层提示,定制AI生成的内容。
尝试快速应用和上下文感知功能,提高编程效率。
集成第三方工具,如代码库聊天、本地托管、文档搜索等。
浏览量:210
最新流量情况
月访问量
72.64k
平均访问时长
00:00:30
每次访问页数
2.32
跳出率
43.27%
流量来源
直接访问
39.88%
自然搜索
36.18%
邮件
0.15%
外链引荐
17.33%
社交媒体
5.57%
展示广告
0
截止目前所有流量趋势图
地理流量分布情况
法国
3.12%
英国
3.10%
印度
19.06%
美国
7.56%
越南
5.70%
开源AI代码编辑器,提供强大的AI功能和完全的数据控制。
Void是一个开源的代码编辑器,是Visual Studio Code的分支,它允许用户利用AI工具编写代码,同时完全控制自己的数据。它提供了丰富的AI特性,如自动补全、内联编辑、文件搜索和生成等。此外,它还支持本地模型托管和直接与大型语言模型通信,无需通过中间人。Void的定位是为开发者提供一个高效、安全且功能丰富的编程环境。
一个开源的产品管理平台,借助AI帮助团队探索问题、构思解决方案、优先排序功能并规划路线图。
Eververse是一个开源的产品管理平台,旨在为产品团队提供一个高效、智能的工作环境。它通过AI技术,帮助团队成员快速处理用户反馈,自动生成产品待办事项列表,并通过预测性AI优先级排序等功能,优化产品规划和管理流程。Eververse的主要优点包括开源免费、强大的AI辅助写作和分析功能、高度可定制的视图和工作流等。它主要面向产品团队,尤其是那些需要快速迭代和优化产品路线图的团队。Eververse提供免费版本,同时也有一些高级功能需要付费解锁。
自动解决软件开发问题的无代理方法
Agentless是一种无需代理的自动解决软件开发问题的方法。它通过定位、修复和补丁验证三个阶段来解决每个问题。Agentless利用分层过程定位故障到特定文件、相关类或函数,以及细粒度的编辑位置。然后,Agentless根据编辑位置采样多个候选补丁,并选择回归测试来运行,生成额外的复现测试以复现原始错误,并使用测试结果重新排名所有剩余补丁,以选择一个提交。Agentless是目前在SWE-bench lite上表现最佳的开源方法,具有82个修复(27.3%的解决率),平均每问题成本0.34美元。
开源AI代码编辑器,为10倍效率工程师设计。
Melty是一款开源的AI代码编辑器,它能够理解用户从终端到GitHub的操作,并与用户协作编写生产就绪的代码。由Charlie和Jackson开发,他们有着丰富的编程工具使用经验,旨在通过AI技术提高编程效率和代码质量。Melty在28天内已经能够编写其一半的代码,展现了其强大的自适应和学习能力。
为Cursor.sh IDE提供AI辅助编码的开源仪表板。
CursorLens是一个开源的仪表板,专为Cursor.sh IDE设计,用于记录AI代码生成、跟踪使用情况并控制AI模型(包括本地模型)。它允许用户在本地运行或使用即将推出的托管版本。该产品代表了编程领域中AI技术的应用,提供了代码生成、使用跟踪和模型控制等功能,极大地提高了开发效率和代码质量。
高性能、多人协作代码编辑器
Zed是由Atom和Tree-sitter的创造者开发的高性能、多人协作代码编辑器,开源且集成了AI代码生成功能。它利用多核心CPU和GPU,实现即时启动、快速文件加载和响应键盘输入。Zed支持GitHub Copilot,并通过内置助手面板与模型进行对话式交互,以生成或重构代码。
现代设计和代码编辑器,简单、灵活、开放。
rnbw是一个现代的设计和代码编辑器,它简单、灵活、开放,并且基于网络。它与您的文件协同工作,由Web提供动力。rnbw能够连接人工智能来理解您的项目,并提供一系列工具来管理它。它允许您专注于创造,而AI驱动的命令则帮助您完成工作。
开源视频生成模型,支持多种生成任务。
Wan2.1-FLF2V-14B 是一个开源的大规模视频生成模型,旨在推动视频生成领域的进步。该模型在多项基准测试中表现优异,支持消费者级 GPU,能够高效生成 480P 和 720P 的视频。它在文本到视频、图像到视频等多个任务中表现出色,具有强大的视觉文本生成能力,适用于各种实际应用场景。
一个简单易用的语音克隆和语音模型训练工具。
EaseVoice Trainer 是一个后端项目,旨在简化和增强语音合成与转换训练过程。该项目基于 GPT-SoVITS 进行改进,注重用户体验和系统的可维护性。其设计理念不同于原始项目,旨在提供更模块化和定制化的解决方案,适用于从小规模实验到大规模生产的多种场景。该工具可以帮助开发者和研究人员更高效地进行语音合成和转换的研究与开发。
一款基于 Vue3 + ElementPlus 的聊天应用,内置多个大语言模型。
PureChat 是一款结合 AI 和前沿技术的现代聊天应用,采用 Vue3 和 ElementPlus 构建,内置 OpenAI、Ollama、DeepSeek 等大语言模型。其主要优点包括支持 Markdown 渲染和聊天记录截图功能,极大提升了用户的沟通效率与体验。PureChat 致力于为开发者提供一个快速掌握现代技术的平台。
一键将视频和音频转化为各种风格的文档。
AI 视频图文创作助手是一个开源工具,旨在将视频和音频内容转化为多种格式的文档,帮助用户进行二次阅读和思考。该产品的主要优势在于其完全开源、无需注册,用户可以在本地处理音视频文件,降低了使用成本。它非常适合需要将视听内容转化为文本的学生、研究人员和内容创作者。
轻松将现有代理框架中的工具、代理和调度器转换为 MCP 服务器。
automcp 是一个开源工具,旨在简化将各种现有代理框架(如 CrewAI、LangGraph 等)转换为 MCP 服务器的过程。这使得开发者可以通过标准化接口更容易地访问这些服务器。该工具支持多种代理框架的部署,并且通过易于使用的 CLI 界面进行操作。适合需要快速集成和部署 AI 代理的开发者,价格免费,适合个人和团队使用。
昆仑万维开源的高性能数学代码推理模型,性能卓越
Skywork-OR1是由昆仑万维天工团队开发的高性能数学代码推理模型。该模型系列在同等参数规模下实现了业界领先的推理性能,突破了大模型在逻辑理解与复杂任务求解方面的能力瓶颈。Skywork-OR1系列包括Skywork-OR1-Math-7B、Skywork-OR1-7B-Preview和Skywork-OR1-32B-Preview三款模型,分别聚焦数学推理、通用推理和高性能推理任务。此次开源不仅涵盖模型权重,还全面开放了训练数据集和完整训练代码,所有资源均已上传至GitHub和Huggingface平台,为AI社区提供了完全可复现的实践参考。这种全方位的开源策略有助于推动整个AI社区在推理能力研究上的共同进步。
使 AI 能够控制 Android 设备的强大自动化工具。
Droidrun 是一个强大的 Android 自动化工具,旨在使 AI 代理能够无缝地与 Android 应用程序进行互动。它结合了视觉理解和 UI 结构提取,为 AI 提供了一个强大的移动平台。Droidrun 目前处于等待名单阶段,面向个人开发者、小型团队和企业提供不同的解决方案。
mcp-use 是与 MCP 工具交互的最简单方式,支持自定义代理。
mcp-use 是一个开源的 MCP 客户端库,旨在帮助开发者将任何大型语言模型(LLM)连接到 MCP 工具,构建具有工具访问能力的自定义代理,而无需使用闭源或应用程序客户端。该产品提供了简单易用的 API 和强大的功能,可以应用于多个领域。
Pusa 是一个新颖的视频扩散模型,支持多种视频生成任务。
Pusa 通过帧级噪声控制引入视频扩散建模的创新方法,能够实现高质量的视频生成,适用于多种视频生成任务(文本到视频、图像到视频等)。该模型以其卓越的运动保真度和高效的训练过程,提供了一个开源的解决方案,方便用户进行视频生成任务。
一款通过生成模型提升图像生成一致性的工具。
UNO 是一个基于扩散变换器的多图像条件生成模型,通过引入渐进式跨模态对齐和通用旋转位置嵌入,实现高一致性的图像生成。其主要优点在于增强了对单一或多个主题生成的可控性,适用于各种创意图像生成任务。
一个用于 PDF 科学论文翻译和双语对比的库。
BabelDOC 是一款旨在简化文档翻译的工具,特别是 PDF 文件。它不仅提供了命令行界面,还支持 Python API,并允许用户进行自我部署。该产品的主要优点在于其支持高达 1000 页的免费在线翻译服务,并具有良好的兼容性和扩展性。BabelDOC 旨在成为各种程序的嵌入式翻译解决方案,适用于学术研究、商业文件翻译等多个场景。
一份由自主 AI 代理提供的每日 AI 时事通讯。
AGI News 是一个开源项目,利用自主 AI 代理技术收集并发送最新的 AI 新闻。该项目通过 Firecrawl、Resend 等工具搭建,致力于为用户提供精准及时的 AI 资讯。其主要优势在于自动化的信息收集和快速的信息发布,使得用户能够方便快捷地获取行业动态。
一个开放源代码的 14B 参数编程模型,具备高效的代码推理能力。
DeepCoder-14B-Preview 是一个基于强化学习的代码推理大型语言模型,能够处理长上下文,具有 60.6% 的通过率,适用于编程任务和自动化代码生成。该模型的优势在于其训练方法的创新,提供了比其他模型更优的性能,且完全开源,支持广泛的社区应用和研究。
在视频扩散变换器中合成任何内容的框架。
SkyReels-A2 是一个基于视频扩散变换器的框架,允许用户合成和生成视频内容。该模型通过利用深度学习技术,提供了灵活的创作能力,适合多种视频生成应用,尤其是在动画和特效制作方面。该产品的优点在于其开源特性和高效的模型性能,适合研究人员和开发者使用,且目前不收取费用。
一个高效的语音合成模型,支持中英文及语音克隆。
MegaTTS 3 是由字节跳动开发的一款基于 PyTorch 的高效语音合成模型,具有超高质量的语音克隆能力。其轻量级架构只包含 0.45B 参数,支持中英文及代码切换,能够根据输入文本生成自然流畅的语音,广泛应用于学术研究和技术开发。
AI驱动的个人知识中心,助力多任务专业人士管理知识
remio是一款AI驱动的个人知识中心,主要为多任务专业人士打造。它能简化信息管理,减少手动操作,无缝捕捉想法。优势在于自动捕捉信息、保障数据隐私、支持本地文件集成等。目前处于邀请制早期访问阶段,仅在Mac(Apple Silicon)运行。
一个强大的文本生成模型,适用于多种对话应用。
DeepSeek-V3-0324 是一个先进的文本生成模型,具有 685 亿参数,采用 BF16 和 F32 张量类型,能够支持高效的推理和文本生成。该模型的主要优点在于其强大的生成能力和开放源码的特性,使其可以被广泛应用于多种自然语言处理任务。该模型的定位是为开发者和研究人员提供一个强大的工具,帮助他们在文本生成领域取得突破。
通过强化学习驱动的金融推理大模型。
Fin-R1 是一个专为金融领域设计的大型语言模型,旨在提升金融推理能力。由上海财经大学和财跃星辰联合研发,基于 Qwen2.5-7B-Instruct 进行微调和强化学习,具有高效的金融推理能力,适用于银行、证券等核心金融场景。该模型免费开源,便于用户使用和改进。
生成高质量 SVG 代码的基础模型。
StarVector 是一个先进的生成模型,旨在将图像和文本指令转化为高质量的可缩放矢量图形(SVG)代码。其主要优点在于能够处理复杂的 SVG 元素,并在各种图形风格和复杂性上表现出色。作为开放源代码资源,StarVector 推动了图形设计的创新和效率,适用于设计、插图和技术文档等多种应用场景。
Roblox Foundation Model for 3D Intelligence。
Cube 是一个强大的 3D 智能生成模型,旨在帮助开发者在 Roblox 平台上创建各种 3D 资产和场景。该模型具备生成 3D 对象、角色动画绑定及程序脚本生成等功能。它的出现将极大地提升创作者的生产效率,激发更多的创意,帮助用户以更快的速度构建出丰富的 3D 体验。当前版本已经开放源代码,旨在与研究社区共享,以推进 3D 智能的发展。适用于各种规模的开发者和创作者,支持实验与创新,推动负责任的使用。
© 2025 AIbase 备案号:闽ICP备08105208号-14