New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Verify Temper

by nerdsane in nerdsane/temper

Launch the Temper kernel locally and verify a change end to end - build, serve, drive the OData surface, run the verification cascade and DST proof.

Apache-2.0Auto-check passed

Install Verify Temper

skills CLI
$ npx skills add nerdsane/temper --skill verify-temper -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install nerdsane/temper verify-temper --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/nerdsane/temper.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/verify-temper .claude/skills/verify-temper && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
verify-temper
GitHub stars
102
Token cost
~726 tokens
SKILL.md length
274 words
Files
15
Skills in repo
2
Repo updated
First seen
Licence
Apache-2.0

At a glance

Launch the Temper kernel locally and verify a change end to end - build, serve, drive the OData surface, run the verification cascade and DST proof.

  • SKILL.md covers Launch, Doctor, Verify a change and Evidence, plus 1 more section
  • Calls cargo; needs TEMPER_API_KEY

What it does

Verify Temper is an agent skill from nerdsane/temper. Launch the Temper kernel locally and verify a change end to end - build, serve, drive the OData surface, run the verification cascade and DST proof. Use before calling any temper change done.

Its SKILL.md is about 730 tokens, which your agent loads only when the skill is triggered. The skill folder holds 15 other files (for example `features/README.md`, `features/blobs-and-temperfs.md` and `features/cedar-authz.md`).

It works with Turso. The repository describes itself as: A machine tool for agents: a verified runtime for systems agents build. The licence is Apache-2.0.

Example prompts

  • “/verify-temper”

Requirements

  • A credential in TEMPER_API_KEY

What it can do on your machine

Read from SKILL.md and the folder at commit 6fbd714. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • cargo

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names these keys or tokens, usually read from environment variables:

    • TEMPER_API_KEY

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Verify Temper loads about 726 tokens when it runs. Until then it costs about 51 tokens; SKILL.md has 274 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~51
When it runs · the whole SKILL.md, loaded when a task matches
~726

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from nerdsane/temper at commit 6fbd714, republished under its Apache-2.0 licence (© nerdsane). 274 words, ~726 tokens.

Download SKILL.mdSave it as .claude/skills/verify-temper/SKILL.md (or your agent's skills folder). This skill also uses 14 other files; get the full folder from GitHub.
name
verify-temper
description
Launch the Temper kernel locally and verify a change end to end - build, serve, drive the OData surface, run the verification cascade and DST proof. Use before calling any temper change done.

Verify temper

Launch

bash
cargo build -p temper-cli                                    # first build is long (~29 crates)

# ISOLATE per instance: TURSO_URL unset defaults to the SHARED
# ~/.local/share/temper/agents.db (another session's real state; two servers on
# it corrupt each other). Always point at a per-worktree file. AND unset
# TURSO_PLATFORM_URL - bootstrap.rs checks it BEFORE TURSO_URL (serve/bootstrap.rs:59
# vs :90), so if it is set in your env, TURSO_URL is ignored and you hit the shared/
# cloud db instead.
unset TURSO_PLATFORM_URL
mkdir -p .scratch                                           # the turso file's dir must exist
TEMPER_API_KEY=local-verify \
TURSO_URL="file:$PWD/.scratch/temper.db" \
  cargo run -p temper-cli -- serve --port 3600 --storage turso   # capture the PID

--storage turso is the local libSQL backend (the default; postgres/redis are the other backends). The turso URL resolution is in crates/temper-cli/src/serve/bootstrap.rs (TURSO_URL, else the shared default path).

Ready when GET http://localhost:3600/healthz returns 200 (unauthenticated liveness; /observe/health is behind Observe auth and 401s) and GET /tdata/$metadata with X-Tenant-Id: default returns CSDL XML.

For authenticated entity reads and dispatches, set TEMPER_API_KEY=<any local value> in the environment BEFORE serve - the platform bootstraps a tenant credential from it at startup, and a keyless boot serves 401 on every governed route (that 401 is itself the fail-closed proof).

Doctor

  • Build fails on edition 2024: rustup update; rust-version is 1.85.
  • Port in use: pick another; read the real port from the serve log, not the flag you passed.
  • Serve exits immediately: read the log bottom-up; a spec that fails the cascade at bootstrap names itself.
  • Boot hangs / stack overflow at startup: you are almost certainly sharing the turso db - set a unique TURSO_URL.

Verify a change

Pick the feature file matching what changed (see features/); a proof that drives one convenient entry point is incomplete when the map lists others. Always finish with the suite for the crates you touched (cargo test -p <crate>), then cargo test --workspace before push (the pre-push hook runs it anyway).

Evidence

Capture into /tmp/verify-temper/<date>/: the health response, the metadata head, cascade output, and the DST test result. Hand commands + outputs to the PR, do not assert.

Teardown

Kill only the serve PID you captured at spawn. Never kill by pattern - other temper worktrees run servers on this machine. Remove the .scratch/ db if you want a clean slate; leave everything else.

© nerdsane, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 14 other files in .agents/skills/verify-temper of nerdsane/temper.

  • SKILL.md
  • features/README.md
  • features/blobs-and-temperfs.md
  • features/cedar-authz.md
  • features/dst-proof.md
  • features/entity-lifecycle.md
  • features/event-sourcing-readback.md
  • features/integrations-and-webhooks.md
  • features/mcp-bridge.md
  • features/observe-ui.md
  • features/query-surface.md
  • features/serve-and-odata.md
  • features/spec-cascade.md
  • features/spec-hot-swap.md
  • features/wasm-integration.md

Open the folder on GitHubat commit 6fbd714

Compare with similar skills

Verify Temper next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Verify Temper compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Verify Temper this skillnerdsane/temper102—~726Automated safety check: PassApache-2.0
Uql Ormrogerpadilla/uql125—~3.5kAutomated safety check: PassMIT
Drizzle Orm Expertdavila7/claude-code-templates32k3 repos~2.6kAutomated safety check: PassMIT
Turso AutomationComposioHQ/awesome-claude-skills77k3 repos~723Automated safety check: PassNone
Create Dashboardgooseworks-ai/goose-skills1.2k1 repos~4.1kAutomated safety check: PassMIT
Golem Add Turso Rustgolemcloud/golem1.5k—~767Automated safety check: PassCustom licence

Similar skills

  • Uql Orm

    rogerpadilla/uql

    Write code with UQL (the uql-orm package), the TypeScript ORM whose queries are plain JSON objects, on PostgreSQL, MySQL, MariaDB, SQLite, CockroachDB, SQL Server, MongoDB, Turso, Neon, D1 and PGlite.

    125 GitHub stars~3.5k tokensUpdated today
    DatabasesAuto-check passed

  • Drizzle Orm Expert

    davila7/claude-code-templates

    Expert in Drizzle ORM for TypeScript — schema design, relational queries, migrations, and serverless database integration.

    32k GitHub starsUsed in 3 repos~2.6k tokens
    DatabasesAuto-check passed

  • Turso Automation

    ComposioHQ/awesome-claude-skills

    Automate Turso tasks via Rube MCP (Composio). An agent skill from ComposioHQ/awesome-claude-skills.

    77k GitHub starsUsed in 3 repos~723 tokens
    Productivity & AutomationAuto-check passed

  • Create Dashboard

    gooseworks-ai/goose-skills

    Create a custom web dashboard (React + Vite + Express) inside your sandbox to visualize the agent's Turso database.

    1.2k GitHub starsUsed in 1 repo~4.1k tokens
    Data & AnalyticsAuto-check passed

  • Golem Add Turso Rust

    golemcloud/golem

    Use the Turso Rust crate for an in-memory embedded SQL database in a Rust Golem agent.

    1.5k GitHub stars~767 tokensUpdated today
    DatabasesAuto-check passed

  • Neon

    ericrisco/rsc-harness

    A skill your agent uses when you have picked Neon (serverless Postgres) and need to connect correctly from a serverless or edge runtime, wire database branching into dev, preview and CI, or stop…

    167 GitHub stars~3.5k tokensUpdated today
    Backend & APIsAuto-check passed

More from nerdsane/temper

  • Deterministic Simulation

    nerdsane/temper

    Deterministic simulation testing (DST), TigerBeetle/FoundationDB style, and DST-driven development.

    102 GitHub stars~1.4k tokensUpdated today
    Auto-check passed

Works with

Questions about Verify Temper

What does Verify Temper do?

Launch the Temper kernel locally and verify a change end to end - build, serve, drive the OData surface, run the verification cascade and DST proof. Verify Temper is an agent skill from nerdsane/temper. Launch the Temper kernel locally and verify a change end to end - build, serve, drive the OData surface, run the verification cascade and DST proof.

How do I install Verify Temper in Claude Code?

Run `npx skills add nerdsane/temper --skill verify-temper -a claude-code`. Or copy the skill folder (.agents/skills/verify-temper in nerdsane/temper) into .claude/skills/verify-temper in your project. Claude Code loads it when a task matches its description.

How do I install Verify Temper in Codex?

Run `npx skills add nerdsane/temper --skill verify-temper -a codex`. Or copy the skill folder (.agents/skills/verify-temper in nerdsane/temper) into .agents/skills/verify-temper in your project. Codex loads it when a task matches its description.

Can I use Verify Temper in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add nerdsane/temper --skill verify-temper -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/verify-temper, .gemini/skills/verify-temper, .github/skills/verify-temper and .opencode/skills/verify-temper in your project.

What does Verify Temper need to run?

Going by SKILL.md and its folder, Verify Temper needs the command-line tools its instructions call (cargo) and credentials named TEMPER_API_KEY. Our summary lists: A credential in TEMPER_API_KEY.

Does Verify Temper access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Verify Temper safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Verify Temper use?

Verify Temper is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Verify Temper use?

About 726 tokens (SKILL.md is roughly 2.9k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Verify Temper?

Skills that share tags, products or a category with Verify Temper: Uql Orm (rogerpadilla/uql, 125 stars), Drizzle Orm Expert (davila7/claude-code-templates, 32k stars), Turso Automation (ComposioHQ/awesome-claude-skills, 77k stars) and Create Dashboard (gooseworks-ai/goose-skills, 1.2k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Verify Temper?

nerdsane (a GitHub user) maintains it in nerdsane/temper, which has 102 GitHub stars. The repository holds 2 skills in this directory. The repository was last updated on October 7, 2026.

Source: nerdsane/temper on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.