@TheTuringPost: OpenProse – an open-source "logical English" language that turns your agentic workflows into reusable agent programs. I…
Summary
OpenProse is an open-source 'logical English' language that transforms agentic workflows into reusable agent programs, using coding agents as compilers to provide structured contracts and audit trails.
View Cached Full Text
Cached at: 06/08/26, 07:20 AM
OpenProse – an open-source “logical English” language that turns your agentic workflows into reusable agent programs.
It runs inside the coding agent you already use: Claude Code, Codex, OpenCode, Hermes, Pi – and gives it a structured contract to follow.
→ The key idea – the coding agent becomes the “compiler”.
This delivers:
- Less babysitting of multi-agent coding sessions
- Reviewable .prose.md programs instead of disposable prompts
- Explicit skill and tool dependencies
- Isolated sub-agent sessions with clean outputs
- Run receipts, logs, artifacts, and audit trails
- Reuse of sessions on demand
So OpenProse extracts the entire workflow: phases, contracts, decision gates, loops, parallel work, mistakes, fixes, and validation evidence. It’s like a “git for agent workflows”.
Similar Articles
@irl_danB: everyone is building an agent or a tool you don't want an agent or a tool, you want a reactor I've been working on some…
A developer introduces a concept called a 'reactor' — an agent session DAG that maintains a memoized world-model using OpenProse markdown files and the openai-agents-sdk, drawing parallels to React and dataflow.
@tom_doerr: AI agents for data analysis, plugins, and web browsing https://github.com/xlang-ai/OpenAgents…
OpenAgents is an open platform for using and hosting language agents in everyday life, featuring agents for data analysis, plugins, and web browsing, with open code and a demo.
DeepCode: Open Agentic Coding
DeepCode is a fully autonomous framework for document-to-codebase synthesis that uses principled information-flow management to convert scientific papers into production-grade code, achieving state-of-the-art results on PaperBench and surpassing PhD-level human experts.
OpenDevin: An Open Platform for AI Software Developers as Generalist Agents
OpenDevin is an open-source platform for developing AI agents that can write code, use command lines, and browse the web to interact with the environment. It supports multiple agents, sandboxed code execution, and evaluation benchmarks like SWE-Bench.
OProver: A Unified Framework for Agentic Formal Theorem Proving
OProver is a unified framework for agentic formal theorem proving in Lean 4 that iteratively improves proof generation through training with verified proofs and compiler feedback, achieving state-of-the-art results on multiple benchmarks.