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

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

2025-08-14 147

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

234

国务院新闻办公室举行“高质量完成‘十四五’规划”系列主题新闻发布会。国家数据局局长刘烈宏在新闻发布会上表示，当前我国网民数量达到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

152

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Eclipse

Eclipse 是一个开放源代码的、基于Java的可扩展开发平台。就其本身而言，它只是一个框架和一组服务，用于通过插件组件构建开发环境。幸运的是，Eclipse 附带了一个标准的插件集，包括Java开发工具（Java Development Kit，JDK）。

JDK

JDK是 Java 语言的软件开发工具包，主要用于移动设备、嵌入式设备上的java应用程序。JDK是整个java开发的核心，它包含了JAVA的运行环境（JVM+Java系统类库）和JAVA工具。

Sublime Text

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