logos-blockchain/lez-programs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lez-programs.git synced 2026-07-03 05:29:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix(validator): remove .claude artifacts, add demo.sh and token.idl.json aliases

Browse Source
This commit is contained in:
bristinWild 2026-06-26 03:17:56 +05:30
parent 210e2f4ad7
commit b9a4b2d54c
4 changed files with 2 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
.claude/skills/deploy-program/skill.md
View File

@ -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 `<name>/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.

17
.claude/skills/program-id/skill.md
View File

@ -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 `<name>/methods/guest/Cargo.toml` and ask the user to pick one.
## Steps
1. **Check if the binary exists** at `<name>/methods/guest/target/riscv32im-risc0-zkvm-elf/docker/<name>.bin`.
2. **If missing, build it first** using `cargo risczero build --manifest-path <name>/methods/guest/Cargo.toml`.
- Docker must be running for this step. Fail fast if not.
3. **Inspect the binary** with `spel-cli inspect <path-to-binary>` and report the program ID to the user.

1
artifacts/token.idl.json Symbolic link
View File

@ -0,0 +1 @@
token-idl.json

1
scripts/demo.sh Symbolic link
View File

@ -0,0 +1 @@
demo-full-flow.sh