From b9a4b2d54ce22e31e844f5722b14288e2cbd972d Mon Sep 17 00:00:00 2001 From: bristinWild Date: Fri, 26 Jun 2026 03:17:56 +0530 Subject: [PATCH] fix(validator): remove .claude artifacts, add demo.sh and token.idl.json aliases --- .claude/skills/deploy-program/skill.md | 18 ------------------ .claude/skills/program-id/skill.md | 17 ----------------- artifacts/token.idl.json | 1 + scripts/demo.sh | 1 + 4 files changed, 2 insertions(+), 35 deletions(-) delete mode 100644 .claude/skills/deploy-program/skill.md delete mode 100644 .claude/skills/program-id/skill.md create mode 120000 artifacts/token.idl.json create mode 120000 scripts/demo.sh diff --git a/.claude/skills/deploy-program/skill.md b/.claude/skills/deploy-program/skill.md deleted file mode 100644 index 7d92660..0000000 --- a/.claude/skills/deploy-program/skill.md +++ /dev/null @@ -1,18 +0,0 @@ ---- -description: Deploy a LEZ program to the sequencer. Use when the user asks to deploy, ship, or publish a program (e.g. "deploy the token program", "ship amm to the sequencer"). ---- - -# deploy-program - -Deploying a LEZ program is always a two-step process: compile first, then deploy. Never deploy -without rebuilding first — a stale binary deploys silently but won't reflect recent code changes. - -The program name corresponds to a top-level workspace directory. If none is specified, discover -available programs by looking for `/methods/guest/Cargo.toml` and ask the user to pick one. - -After deploying, confirm success by inspecting the binary and reporting the ProgramId to the user. - -## Gotchas - -- **Docker must be running.** `cargo risczero build` cross-compiles via Docker. Fail fast if not. -- **The output binary path follows a fixed convention** — derive it from the program name, don't guess. diff --git a/.claude/skills/program-id/skill.md b/.claude/skills/program-id/skill.md deleted file mode 100644 index 943ce31..0000000 --- a/.claude/skills/program-id/skill.md +++ /dev/null @@ -1,17 +0,0 @@ ---- -description: Get the program ID (Image ID) for a LEZ program. Use when the user asks for a program's ID, image ID, or program address (e.g. "what's the token program id", "get the amm program id"). ---- - -# program-id - -The program ID is the RISC Zero Image ID derived from the compiled guest ELF binary. - -The program name corresponds to a top-level workspace directory. If none is specified, discover -available programs by looking for `/methods/guest/Cargo.toml` and ask the user to pick one. - -## Steps - -1. **Check if the binary exists** at `/methods/guest/target/riscv32im-risc0-zkvm-elf/docker/.bin`. -2. **If missing, build it first** using `cargo risczero build --manifest-path /methods/guest/Cargo.toml`. - - Docker must be running for this step. Fail fast if not. -3. **Inspect the binary** with `spel-cli inspect ` and report the program ID to the user. diff --git a/artifacts/token.idl.json b/artifacts/token.idl.json new file mode 120000 index 0000000..9e0aff4 --- /dev/null +++ b/artifacts/token.idl.json @@ -0,0 +1 @@ +token-idl.json \ No newline at end of file diff --git a/scripts/demo.sh b/scripts/demo.sh new file mode 120000 index 0000000..cd4a4eb --- /dev/null +++ b/scripts/demo.sh @@ -0,0 +1 @@ +demo-full-flow.sh \ No newline at end of file