Build applications from declarative state machine, data model, and policy specifications.
npx skills add https://github.com/nerdsane/temper --skill temper-app-builder
Please help me install this Agent Skill. Skill: Temper App Builder Source: https://github.com/nerdsane/temper/tree/main/skills/temper-developer Command: npx skills add https://github.com/nerdsane/temper --skill temper-app-builder
This Skill automates the creation and deployment of complex applications by translating user requirements into formally verified specifications, ensuring reliability and safety.
Use the Temper App Builder skill to build me a bug tracker.
High-intent search queries and answers about installing and using this skill.
To build an application from a specification, you define declarative state machines, data models, and authorization policies. The Temper App Builder then automatically translates these formal specifications into a fully deployed application without manual coding.
Formal verification in app development validates specifications through SMT, model checking, simulation, and property tests. This mechanism ensures system integrity and safety by mathematically proving that state machines and authorization policies behave correctly before deployment.
To create a bug tracking system, you define entities like Bugs and Developers, and map their lifecycles using state machines such as Open -> Triaged -> InProgress -> Resolved. The Temper App Builder then generates and deploys the formally verified application.
Yes, you can integrate external services with formally verified state machine applications via WASM modules. This allows your declarative specifications to interact with external components while maintaining automated checks and policy mediation.
Formal verification of authorization policies works for complex app development through automated policy mediation. Temper validates your policies against multiple levels of checks including SMT and property tests before deployment, ensuring safety at scale.
You should not use declarative specifications for app development when your application logic cannot be modeled by state machines, data models, and authorization policies. If formal verification constraints limit dynamic code execution, traditional manual coding is preferable.
nerdsaneDeploy formally verified agent operating systems with Cedar authorization.
loren-arthurAutomate application creation by defining state machines and integrating WASM modules.
korallisBuild Model Context Protocol servers and tools using the @modelcontextprotocol/sdk.
engalarExecute OQL queries against a running Mendix application to validate data state.
