Skip to content
Agentmart
Submit a tool

uefn-runtime-proof

Verify a UEFN gameplay slice with compile, session, runtime, and log evidence while clearly separating machine-provable behavior from human playtest judgment.

Skill by RCSnyder

IndexedMIT
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/rcsnyder-uefn-runtime-proof

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

Verify a UEFN gameplay slice with compile, session, runtime, and log evidence while clearly separating machine-provable behavior from human playtest judgment.

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/uefn-runtime-proof

What's inside

Skill name
uefn-runtime-proof
Description
Verify a UEFN gameplay slice with compile, session, runtime, and log evidence while clearly separating machine-provable behavior from human playtest judgment.
License
MIT
Instructions
26 lines in SKILL.md · view on GitHub

Files (2)

  • SKILL.md
  • proof-contract.md · references/

SKILL.md (first lines)

# UEFN runtime proof

Never turn “no error appeared” into “feature works.”

## Proof sequence

Use only the steps the criterion requires:

1. compile Verse
2. inspect diagnostics
3. launch/connect play session
4. start the game
5. inspect runtime evidence
6. exercise an existing test seam/test player/sentry when appropriate
7. record result

## Result labels

- `MACHINE PASS`
- `MACHINE FAIL`
- `HUMAN NEEDED`
- `UNPROVEN`

Use the exact contract in [references/proof-contract.md](references/proof-contract.md).

From RCSnyder/open-uefn-kit, MIT.

More from RCSnyder/open-uefn-kit

Signals

Stars
0
Forks
0
Open issues
0
Last commit (this folder)
Aug 30, 2026 (2 months ago)
Last release
Sep 1, 2026 (1 month ago)

From GitHub (fetched Oct 24, 2026).

Details

License
MIT
Repository
github.com/RCSnyder/open-uefn-kit
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
GitHubgithub-graphql

More from RCSnyder

Cite this page

uefn-runtime-proof skill. Agent Mart. https://agentmart.dev/skills/rcsnyder-uefn-runtime-proof (last updated 2026-10-24)