skills.rest
nerdsanenerdsaneCommunity·5 Agent Skills Included

temper

Verified state machine runtime with policy-governed deployments

Builds running applications from plain-language state machine specs instead of hand-written code. Verifies every spec through symbolic checks, model checking, simulation, and property tests before deployment. Eliminates broken integrations and silent state corruption with hot-reloadable specs and human-approved access policies. Ships with an OData API, audit log, and multi-tenant storage out of the box.
46|11
↗
npx skills add nerdsane/temper --all -g -y
Available:

Gives your AI agent the kernel architecture map, deterministic simulation rules, and verification commands it must follow when writing or testing code in this repository.

All Skills in This Repository (5)

Pure Emerald Level Indicators
📦 In Repo
nerdsanenerdsane

desloppify

Scan codebases for quality issues and technical debt across 28 languages.

Community
Advanced
📦 In Repo
nerdsanenerdsane

Temper App Builder

Build applications from declarative state machine, data model, and policy specifications.

Community
Advanced
📦 In Repo
nerdsanenerdsane

Temper

Deploy formally verified agent operating systems with Cedar authorization.

Community
Advanced
📦 In Repo
nerdsanenerdsane

Temper User

Translate natural language commands into Temper API calls for bug tracking and developer management.

Community
Advanced
📦 In Repo
nerdsanenerdsane

temper-agent

Mediate agent actions through Temper with Cedar authorization policies.

Community
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Temper?▼

Run `npx skills add nerdsane/temper --all -g -y` in your terminal to install all skills in this suite globally.

What problem does Temper solve?▼

It turns plain-language descriptions of states and transitions into verified, running applications. Every spec passes four layers of automated verification before it can go live, so broken logic never deploys.

How does Temper handle permissions?▼

All actions are denied by default under Cedar policies. When an action is blocked, a human approves it through the Observe UI or CLI, and the new rule loads without a restart.

Does Temper work with Claude Code and OpenClaw?▼

Yes. Temper exposes an HTTP API and an MCP bridge, so Claude Code, OpenClaw, LangChain, and any HTTP-capable client can drive it directly.

Can I update an app without downtime?▼

Yes. Specs hot-reload while the server keeps running, and existing entities keep their current state through every update.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills