Quick start

Install with npm / npx (after publish)

From your E3 project root (not this repo):

npx @chriswilder/interfold-skill              # interactive: pick Claude / Cursor / …
npx @chriswilder/interfold-skill cursor
npx @chriswilder/interfold-skill claude
npx @chriswilder/interfold-skill codex
npx @chriswilder/interfold-skill windsurf
npx @chriswilder/interfold-skill other

Useful flags: --target ./path, --dry-run, --force.

Local installer (this repo, no npm needed)

cd Interfold-skills   # or interfold-skill/
node bin/cli.js
node bin/cli.js cursor --target /path/to/your-project
npm test

Manual copy (optional)

# Cursor
cp -r .cursor /path/to/your-project/
cp -r .agents /path/to/your-project/
cp AGENTS.md /path/to/your-project/

# Claude Code
cp -r .claude /path/to/your-project/

# Codex / other AGENTS.md tools
cp -r .agents /path/to/your-project/
cp AGENTS.md /path/to/your-project/
cp .windsurfrules /path/to/your-project/   # Windsurf only

Or ask the agent:

Follow the InterFold skill — read AGENTS.md, then .agents/skills/interfold-skill/SKILL.md.

Sample prompts

0. New project (docs init)

I'm new to InterFold. Follow references/cli-init.md: install the CLI with interfoldup,
run interfold init for a project, explain the folders, compile with interfold program compile,
and start pnpm dev:all. Link the official quick-start docs.

1. Generate a contract

Scaffold an IE3Program using the InterFold skill. Start from templates/SurveyProgram.sol and references/e3-program-solidity.md.
imports, constructor (InterFold + RISC0 router + my Honk + imageId), validate, and publishInput
with a documented abi.encode layout and matching fold public inputs.

2. Review code

Review my E3 program against the InterFold skill pitfalls and e3-program-solidity references.
Check empty Honk proofs, PI order, and shared vs redeployed infra.

3. Deploy

Using references/deploy.md and addresses.md, deploy my fold Honk then my E3 program on Sepolia
with Foundry. Do not redeploy InterFold, PoseidonT3, or the RISC0 router.

4. Frontend / SDK

Using references/frontend-sdk.md and templates/publish-input-client.ts, wire @interfold/sdk:
committee key + commitment check, encryptNumberAndGenInputs, app-owned UDE→fold prove,
then publishInput with a real Honk proof.

5. Circuits

Follow references/circuits-and-proofs.md: compile Greco UDE + app + fold, emit a keccak Honk
verifier, and explain how it plugs into publishInput.

6. Toolchain

Read references/toolchain.md and set up nargo v1.0.0-beta.26 + bb 5.1.x + Docker guest ImageID
(WSL2 on Windows if needed).

Repository layout

interfold-skill/
├── README.md
├── index.html
├── package.json                    # npm package + bin
├── bin/
│   └── cli.js                      # installer client (pick agent → copy files)
├── dev/
│   └── smoke-test.js
├── AGENTS.md
├── assets/
│   └── banner.svg
├── .windsurfrules
├── .claude/
├── .agents/
└── .cursor/
    ├── rules/*.mdc
    └── skills/interfold-skill/   # full skill (same body as .agents / .claude)

Canonical skill body: .agents/skills/interfold-skill/ (also mirrored under .claude/skills/ and .cursor/skills/).
Templates: templates/SurveyProgram.sol + templates/publish-input-client.ts (real files agents copy into the user’s project).
Cursor rules: .cursor/rules/*.mdc — auto-attach; they point at the Cursor skill paths.

Where to look

| Question | File | | :--- | :--- | | Newbie / interfold init | references/cli-init.md | | Contract imports / publishInput | references/e3-program-solidity.md · templates/SurveyProgram.sol | | @interfold/sdk encrypt → prove → publish | references/frontend-sdk.md · templates/publish-input-client.ts | | Foundry / shell deploy | references/deploy.md | | Sepolia + mainnet shared addresses | references/addresses.md | | nargo / Docker / WSL | references/toolchain.md | | Failures / review checklist | references/pitfalls.md | | Honk vs RISC0 | references/verifiers.md | | Docs + packages + BFV table | references/docs-and-sdks.md |

License

MIT when published.