Skills
.Work. You
Rest

Temper App Builder

Community

Build verified apps from specs, not code.

Software Engineering#specification#app development#formal verification#policy enforcement#state machine#temper
Authornerdsane
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill automates the creation and deployment of complex applications by translating user requirements into formally verified specifications, ensuring reliability and safety.

Core Features & Use Cases

  • Declarative App Specification: Define applications using state machines, data models, and policies.
  • Automated Verification: Temper formally verifies specs against multiple levels of checks (SMT, model checking, simulation, property tests).
  • Use Case: A user wants to build a bug tracking system. You use this Skill to interview them about entities (Bugs, Developers), their lifecycles (Open -> Triaged -> InProgress -> Resolved), and potential issues, then Temper generates and deploys the verified application.

Quick Start

Use the Temper App Builder skill to build me a bug tracker.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: Temper App Builder
Download link: https://github.com/nerdsane/temper/archive/main.zip#temper-app-builder

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.