@TheTuringPost: OpenProse——一种开源的“逻辑英语”语言，可将您的智能体工作流转化为可重用的智能体程序。I…

X AI KOLs Timeline 工具
open-source agentic-workflows coding-agent workflow-management logical-english developer-tool

摘要

OpenProse 是一种开源的“逻辑英语”语言，它利用编码代理作为编译器，提供结构化契约和审计轨迹，从而将智能体工作流转化为可重用的智能体程序。

OpenProse——一种开源的“逻辑英语”语言，可将您的智能体工作流转化为可重用的智能体程序。 它在您已有的编码代理（如 Claude Code、Codex、OpenCode、Hermes、Pi）内部运行，并为其提供遵循的结构化契约。 → 关键思路——编码代理成为“编译器”。 这将带来： - 减少对多代理编码会话的监督 - 可审查的 .prose.md 程序，而非一次性提示 - 明确的技能和工具依赖 - 隔离的子代理会话，输出干净 - 运行收据、日志、制品和审计轨迹 - 按需重用会话 因此，OpenProse 提取了整个工作流：阶段、契约、决策门、循环、并行工作、错误、修复和验证证据。这就像是“代理工作流的 Git”。
查看原文
查看缓存全文

缓存时间: 2026/06/08 07:20

OpenProse – 一个开源的“逻辑英语“语言，可将你的智能体工作流转化为可复用的智能体程序。

它运行在你已有的编程智能体内：Claude Code、Codex、OpenCode、Hermes、Pi——并为其提供一份可供遵循的结构化合约。

→ 核心思想——编程智能体成为“编译器“。

这就带来了：

  • 减少对多智能体编程会话的保姆式监管
  • 可审查的 .prose.md 程序，而非一次性提示词
  • 明确的技能与工具依赖
  • 隔离的子智能体会话，输出干净
  • 运行凭据、日志、产物及审计轨迹
  • 按需复用会话

因此，OpenProse 可提取整个工作流：阶段、合约、决策门、循环、并行工作、错误、修复及验证证据。它就像是智能体工作流的“Git“。

相似文章

DeepCode：开放式智能体编程

Papers with Code Trending

DeepCode 是一个完全自主的框架，用于从文档到代码库的合成，通过原则性的信息流管理将科学论文转化为生产级代码，在 PaperBench 上取得了最先进的结果，并超越了博士级人类专家。

OProver：一个统一的代理式形式定理证明框架

Hugging Face Daily Papers

OProver是一个统一的框架，用于Lean 4中的代理式形式定理证明，通过使用经过验证的证明和编译器反馈进行训练，迭代地改进证明生成，在多个基准测试中取得了最先进的结果。