Temper

What problem does it solve?

Temper provides a framework for agents to define, verify, and deploy their own operating systems, managing state, authorization, and evolution through formally verified specifications.

Core Features & Use Cases

• Declarative Specs: Agents define state machines, data models, and authorization policies in TOML.
• Formal Verification: Specs undergo rigorous L0-L3 verification (SMT, model checking, simulation, property tests) before deployment.
• Runtime API: Deploys verified specs as a live OData API for agent interaction.
• Policy Mediation: All actions are mediated by Cedar policies, enforcing default-deny authorization.
• Durable Execution: State is persisted using Turso (libSQL), surviving restarts.
• UI Generation: Provides a design system and proxy for building dynamic UIs that reflect live state.
• OpenClaw Integration: Seamlessly connects agents via SSE and signal files for real-time state updates.
• Use Case: An agent needs long-term memory. It defines a Knowledge.ioa.toml spec for storing and retrieving entries. Temper verifies, deploys it as an API, and the agent uses this API to manage its knowledge base, with all access controlled by Cedar policies.

Quick Start

Use the temper skill to start the Temper server locally with default settings.