/projects/orison
Orison
面向工具套件的智能体原生应用语言
/projects/orison
面向工具套件的智能体原生应用语言
Orison 处理的核心挑战,是把面向工具套件的智能体原生应用语言变成有用、可治理且可解释的产品系统。
Orison 围绕明确边界、可检查工作流和可见交付技术栈组织,其中包括 Rust、WebAssembly、LSP和JSON Schema。
难点在于让自主性、数据、工具和用户体验保持一致,同时不隐藏运营风险或证据。
关键创新是把架构当成产品界面:能力通过责任、证明路径和交付边界来说明。
Orison 展示了产品架构、智能体系统、数据边界、控制机制和交付纪律上的应用工程判断。
Orison 是关于面向工具套件的智能体原生应用语言的案例研究。面向工具套件的智能体原生应用语言 其深度在于让边界、证据、工作流和交付选择变得可读。
Orison 通过清晰职责来组织,避免用户、工具、数据和运行时动作混成一次不透明的模型调用。
该流程将规划、工具使用、状态和结果呈现区分开,让操作者能理解发生了什么以及为什么发生。
页面把证明、日志、产物和评审路径视为产品的一部分,而不是可选的实现备注。
Rust 支撑实现叙事,周边技术栈承载持久化、界面、自动化和验证。
技术理由: The compiler and agent-facing tools need memory safety, speed, and predictable binaries.
技术理由: Provides a portable target for running compiled components outside the native toolchain.
技术理由: Lets humans and agents share editor-grade hover, rename, and reference capabilities.
技术理由: Makes diagnostics, patch operations, OpenAPI output, and UI manifests machine-readable.
已实现工具: Exposes 30+ subcommands where every command returns a JSON envelope.
已实现工具: Returns a compact symbol table so agents can orient without loading the whole repo.
已实现工具: Summarizes module exports and semantic context for focused edits.
已实现工具: Produces repair candidates and machine-readable status for an agent loop.
已实现工具: Applies structural edits by stable node ID instead of brittle text rewrites.
已实现工具: Runs resolver, type checker, inference, effect propagation, borrow checks, and exhaustive match checks.
已实现工具: Brings hover, rename, references, and diagnostics into editors.
已实现工具: Extract runtime-facing contracts from source instead of maintaining parallel docs.