Mediate agent actions through Temper with Cedar authorization policies.
npx skills add https://github.com/nerdsane/temper --skill temper-agent
Please help me install this Agent Skill. Skill: temper-agent Source: https://github.com/nerdsane/temper/tree/main/skills/temper-agent Command: npx skills add https://github.com/nerdsane/temper --skill temper-agent
This Skill provides the foundational operating layer for agents, ensuring all state-changing actions are securely mediated through the Temper framework, preventing direct API calls or sandbox escapes.
Use the temper-agent skill to discover all loaded specs for the default tenant.
High-intent search queries and answers about installing and using this skill.
You can enforce authorization policies for agent actions by mediating all operations through a governed sandbox environment that validates state machine models and applies Cedar policy rules before execution.
Spec-driven development for secure agent operations is the process of modeling agent behaviors as state machines and data models, submitting them to a framework for formal verification, and governing all subsequent actions against the verified spec.
To prevent direct API calls or sandbox escapes, route all agent actions through an operating layer that mediates state changes, ensuring no execution occurs without formal verification and Cedar policy authorization.
Yes, you can use Cedar policy to govern agent deployment pipelines by modeling deployment states like Pending and Live as a state machine spec, then enforcing authorization policies on every state transition.
Agents propose system improvements without unauthorized modifications by recording unmet intents in an evolutionary loop, automatically generating spec change proposals, and submitting them for human approval before any system modification occurs.
You should avoid using a state machine approach for agent governance when your operations require ad-hoc execution without formal verification, or when continuous human oversight for spec approval is not feasible.
jonnathan-lsConvert PRDs into prioritized technical specifications with P0/P1/P2 architecture and agent-workflow specs.
stribusIdentify inconsistencies in generated reverse-engineering specs and produce validation questions.
ArogyaReddyEnforce Cedar policies and generate Ed25519-signed receipts for Claude Code tool calls.
nerdsaneBuild applications from declarative state machine, data model, and policy specifications.
