Deploy formally verified agent operating systems with Cedar authorization.
npx skills add https://github.com/nerdsane/temper --skill temper
Please help me install this Agent Skill. Skill: Temper Source: https://github.com/nerdsane/temper/tree/main/skills/temper-openclaw Command: npx skills add https://github.com/nerdsane/temper --skill temper
Temper provides a framework for agents to define, verify, and deploy their own operating systems, managing state, authorization, and evolution through formally verified specifications.
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.Use the temper skill to start the Temper server locally with default settings.
High-intent search queries and answers about installing and using this skill.
Agents define operating systems using declarative specifications by writing state machines, data models, and authorization policies in TOML, which then undergo rigorous L0-L3 formal verification including SMT, model checking, and property tests before deployment.
Formal verification for agent state machines is a rigorous L0-L3 validation process using SMT, model checking, and simulation to ensure specs are safe before deployment. It is needed when agents require formally verified tools managing persistent state.
You manage agent authorization policies using Cedar by enforcing default-deny mediation across all actions. Policies are derived directly from behavioral specs, ensuring all runtime API interactions are strictly controlled.
Yes, Temper supports durable state persistence for agent operating systems by using Turso with libSQL. This ensures that all state data survives restarts and remains accessible during runtime API operations.
Agents interact with deployed state machine specs via a live OData API. Once declarative specs pass formal verification, they are deployed as this API, enabling agents to manage state and execute controlled actions.
Yes, you can integrate real-time UI updates and SSE with agent state machines. The framework provides a design system and proxy for dynamic UIs, while OpenClaw integration uses SSE and signal files to reflect live state changes.
nerdsaneBuild applications from declarative state machine, data model, and policy specifications.
2025EmmaStream real-time cryptocurrency market data from multiple exchanges via WebSocket.
nerdsaneMediate agent actions through Temper with Cedar authorization policies.
aivos-xieDevelop and deploy lightweight web applications on Linux servers with Flask or Node.js.