ECA - 与编辑器无关的 AI 结对编程功能-低调大师

ECA - 与编辑器无关的 AI 结对编程功能

2025-08-14 205

Editor Code Assistant (ECA) - 人工智能结对编程功能，不受编辑器限制。旨在轻松连接 LLM 和编辑器，并通过定义明确的协议为 AI 结对编程提供最佳的用户体验。服务器采用 Clojure 编写，并深受 LSP 协议的启发，LSP 协议是此类集成的一个成功案例。

该协议使其他编辑器更容易集成，并且在中间有一个服务器有助于快速添加更多功能，以下是一些示例：

工具调用管理
多LLM互动
功能使用情况遥测
为任何编辑器配置的单一方法
相同的用户体验，易于人员和团队加入。

与编辑器无关：适合任何编辑器集成的协议。
单一配置：通过全局或本地配置配置 eca，使其在任何编辑器中都能正常工作。
聊天界面：提出问题、审查代码、共同编写代码。
Agentic：让 LLM 使用其原生工具和你可以配置的 MCP 作为代理工作。
背景：支持：向 LLM 提供有关你的代码的更多详细信息，包括 MCP 资源和提示。
多模型：OpenAI、Anthropic、Ollama 本地模型和自定义用户配置模型。

使用eca-emacs 的演示

使用eca-vscode 的演示

微信关注我们

原文链接：https://www.oschina.net/p/eca

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

阶跃星辰发布 StepFun-Prover-Preview 系列模型，用于形式化定理证明

阶跃星辰（StepFun）发布了 StepFun-Prover-Preview 系列模型，包括 7B 和 32B 两个版本，专门用于形式化定理证明（formal theorem proving）。据介绍，StepFun-Prover-Preview专为数学推理设计，通过工具集成推理（tool-integrated reasoning）实现高效的形式化定理证明，支持 Lean 4 证明语言。论文地址：https://arxiv.org/abs/2507.20199 性能方面，StepFun-Prover-Preview-7B 在 miniF2F-test (pass@1) 基准测试中，其表现与 DeepSeek-Prover-V2-671B 和 Kimina-Prover-72B 持平。更强大的 StepFun-Prover-Preview-32B 模型在 miniF2F-test (pass@1) 上超越了所有已知同类模型 4% 以上。该系列模型还具备类人证明细化能力，非常适合推动数学推理领域研究的科研人员。模型地址：https://huggingface.co/stepfun-...

2025-08-14

256

国务院新闻办公室举行“高质量完成‘十四五’规划”系列主题新闻发布会。国家数据局局长刘烈宏在新闻发布会上表示，当前我国网民数量达到11.23亿人，互联网普及率达到79.7%。刘烈宏表示，我国数据产业处于快速发展阶段，数据产业链加速形成。据国家数据发展研究院研究，2024年，全国数据企业数量超过40万家，数据产业规模达5.86万亿元，较“十三五”末增长117%，预计未来几年仍将保持较高的增长水平。数据“采存算管用”全链条焕新迭代，催生出“数据即服务”“知识即服务”“模型即服务”等新模式、新业态。2024年，上市数据企业平均研发投入较“十三五”末增长79%，年均增速15.7%，产业链创新活力持续增强。作为人工智能发展的三大核心要素之一，数据在推动“人工智能+”过程中发挥着关键作用，特别是高质量数据集的建设至关重要。例如在医疗健康领域，通过标注的医学影像高质量数据集，模型的疾病诊断准确率可以提升15%以上。2024年初，我国日均Token（即通常所说的词元，处理文本的最小数据单元）的消耗量为1千亿，截至今年6月底，日均Token消耗量已经突破30万亿，1年半时间增长了300多倍，反映出我国...

2025-08-14

160

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。