> ## Documentation Index > Fetch the complete documentation index at: https://docs.stoffelmpc.com/llms.txt > Use this file to discover all available pages before exploring further. # Stoffel Developer Skills > Agent-ready playbooks for building applications with the Stoffel framework. Stoffel Developer Skills are AI-agent-ready playbooks for developers building applications with the Stoffel framework. They are designed to help coding agents and humans choose the right Stoffel workflow, use current CLI and SDK APIs, run local MPC smoke tests, generate typed client IO bindings, prepare deployment-shaped network handoffs, and debug common app-level failures. These skills are app-development guides, not internal maintainer guides. They focus on creating and validating Stoffel applications with public tooling. ## Multi-user application invariant For client-owned private input, each input owner's device or process is a distinct participant MPC client. It submits directly through the Stoffel client protocol to the separately deployed MPC network. The application control plane handles public metadata, authorization, session/bootstrap configuration, non-sensitive receipts, lifecycle, and explicitly authorized opened aggregates; it must not receive or persist participant plaintext. A backend gateway that sees raw input is a distinct, weaker trust model and requires explicit approval. For rooms, voting, auctions, private matching, prediction markets, federated analytics, or other multi-user apps, begin with [Stoffel Full App Golden Path](/developer-skills/stoffel-full-app-golden-path), then apply [Stoffel App Network and Off-Chain Integration](/developer-skills/stoffel-app-network-and-offchain-integration). Use the main docs for canonical CLI, SDK, language, and deployment behavior. Use these skills as the agent execution layer: they tell an AI coding agent which docs to consult, what order to work in, what commands to run, and what evidence to collect before reporting that a task is done. ## Use with AI agents Mintlify serves these skills through standard skill discovery endpoints and a hosted search MCP server. Use both when possible: * Skills tell an agent how to build with Stoffel. * MCP gives the agent live read/search access to the current docs. ### Install the Stoffel skills Install the published Stoffel skills with the `skills` CLI: ```sh theme={null} npx skills add https://docs.stoffelmpc.com ``` Useful variants: ```sh theme={null} # List available skills without installing npx skills add https://docs.stoffelmpc.com --list # Install all Stoffel skills without prompts npx skills add https://docs.stoffelmpc.com --all # Install globally for supported local agents npx skills add https://docs.stoffelmpc.com --global --all # Install one focused skill npx skills add https://docs.stoffelmpc.com --skill stoffel-full-app-golden-path # Install for a specific supported agent npx skills add https://docs.stoffelmpc.com --agent claude-code --skill stoffel-full-app-golden-path ``` ### Connect the Stoffel docs MCP server Mintlify hosts the Stoffel search MCP server at: ```txt theme={null} https://docs.stoffelmpc.com/mcp ``` Use the MCP server when an agent needs to search the docs, read full pages as Markdown, or discover the hosted `skill.md` files as MCP resources. Install it into supported local agents with `add-mcp`: ```sh theme={null} npx add-mcp --name stoffel-docs --transport http https://docs.stoffelmpc.com/mcp ``` ### Agent harness setup Use the generic setup prompt from [Installation](/getting-started/installation#install-stoffel-with-an-ai-coding-agent) first. If your agent needs explicit MCP configuration, add the same Stoffel docs MCP URL through that harness's MCP setup path. | Agent harness | Start here | | ------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | Hermes Agent | Add an HTTP MCP server under `mcp_servers` in Hermes config, for example `stoffel_docs: { url: "https://docs.stoffelmpc.com/mcp" }`, then run `/reload-mcp` or restart Hermes. | | Claude Code | `claude mcp add --transport http stoffel-docs https://docs.stoffelmpc.com/mcp` | | Cursor | Add `https://docs.stoffelmpc.com/mcp` in Cursor's MCP server settings. | | Codex CLI | Use `npx add-mcp --name stoffel-docs --transport http https://docs.stoffelmpc.com/mcp` if your local Codex setup supports MCP helpers; otherwise add the same URL in its MCP config. | | Gemini CLI | Use `npx add-mcp --name stoffel-docs --transport http https://docs.stoffelmpc.com/mcp` if your local Gemini setup supports MCP helpers; otherwise add the same URL in its MCP config. | | Windsurf | Add `https://docs.stoffelmpc.com/mcp` in Windsurf's MCP server settings. | After setup, ask the agent to prove it can search the Stoffel docs before asking it to edit code. After connection, the MCP server exposes read-only tools for searching Stoffel docs and querying the docs filesystem. Tool names are client-specific, but they correspond to: * `search_stoffel_documentation` * `query_docs_filesystem_stoffel_documentation` ### Discovery endpoints Agents can discover skills and MCP metadata programmatically: * `https://docs.stoffelmpc.com/skill.md` * `https://docs.stoffelmpc.com/.well-known/agent-skills/index.json` * `https://docs.stoffelmpc.com/.well-known/skills/index.json` * `https://docs.stoffelmpc.com/.well-known/mcp` * `https://docs.stoffelmpc.com/.well-known/mcp.json` * `https://docs.stoffelmpc.com/.well-known/mcp/server-card.json` * `https://docs.stoffelmpc.com/.well-known/mcp/server-cards.json` ### Verify agent access ```sh theme={null} # Skills discovery npx skills add https://docs.stoffelmpc.com --list # MCP discovery document curl https://docs.stoffelmpc.com/.well-known/mcp # MCP server card with advertised tools curl https://docs.stoffelmpc.com/.well-known/mcp/server-card.json ``` After MCP is connected, ask the agent to search the Stoffel docs for `ClientStore` or `local MPC` and summarize the relevant command. That verifies the agent can use live docs, not just the installed skill text. ## Choose the first skill | If the user asks for... | Start with | | ----------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | Toolchain setup or a first runnable project | [Stoffel App Getting Started](/developer-skills/stoffel-app-getting-started) | | A complete custom application, room, auction, vote, private match, or other multi-user app | [Stoffel Full App Golden Path](/developer-skills/stoffel-full-app-golden-path), then [Stoffel App Network and Off-Chain Integration](/developer-skills/stoffel-app-network-and-offchain-integration) | | CLI commands, project config, inputs, local runs, or bytecode inspection | [Stoffel CLI App Workflow](/developer-skills/stoffel-cli-app-workflow) | | StoffelLang syntax, functions, types, or examples | [Stoffel-Lang App Programming](/developer-skills/stoffel-lang-app-programming) | | Multi-user client-owned private inputs or ClientStore app architecture | [Stoffel Full App Golden Path](/developer-skills/stoffel-full-app-golden-path), then [Stoffel App Network and Off-Chain Integration](/developer-skills/stoffel-app-network-and-offchain-integration) | | StoffelLang secret types, secret arithmetic, `ClientStore` program semantics, or client outputs | [Stoffel Secret MPC Programming](/developer-skills/stoffel-secret-mpc-programming) | | Rust host integration, local SDK execution, clients, or servers | [Stoffel Rust App SDK](/developer-skills/stoffel-rust-app-sdk) | | Generated Rust input/output types | [Stoffel Typed Client IO Bindings](/developer-skills/stoffel-typed-client-io-bindings) | | Local MPC debugging or hot reload | [Stoffel Local MPC Dev Loop](/developer-skills/stoffel-local-mpc-dev-loop) | | Network/off-chain integration | [Stoffel App Network and Off-Chain Integration](/developer-skills/stoffel-app-network-and-offchain-integration) | | Deployment artifacts and operator handoff | [Stoffel Deployment Runbook](/developer-skills/stoffel-deployment-runbook) | | A failing app or unclear error | [Stoffel App Troubleshooting](/developer-skills/stoffel-app-troubleshooting) | For runnable app tasks, the agent should return command output from each changed layer. A code diff without `stoffel check`, `stoffel build`, and a local MPC run is not enough. ## Skills * [Stoffel App Getting Started](/developer-skills/stoffel-app-getting-started) — Install the Stoffel tooling, create a new app, run first local smoke tests, and choose the right development path. * [Stoffel CLI App Workflow](/developer-skills/stoffel-cli-app-workflow) — Use the stoffel CLI to init, check, build, compile, run, test, inspect, and troubleshoot Stoffel apps. * [Stoffel Full App Golden Path](/developer-skills/stoffel-full-app-golden-path) — Build a complete app from privacy boundary through StoffelLang, Rust SDK integration, local MPC validation, typed bindings, and deployment handoff. * [Stoffel-Lang App Programming](/developer-skills/stoffel-lang-app-programming) — Write .stfl application logic using supported Stoffel-Lang syntax, types, builtins, and example patterns. * [Stoffel Secret MPC Programming](/developer-skills/stoffel-secret-mpc-programming) — Build MPC apps with secret types, Share, ClientStore, Mpc, MpcOutput, and runnable private-input examples. * [Stoffel Rust App SDK](/developer-skills/stoffel-rust-app-sdk) — Embed Stoffel in Rust apps using the SDK for compilation, bytecode loading, local execution, clients, and servers. * [Stoffel Typed Client IO Bindings](/developer-skills/stoffel-typed-client-io-bindings) — Generate and use Rust typed client input/output bindings from exact Stoffel bytecode manifests. * [Stoffel Local MPC Dev Loop](/developer-skills/stoffel-local-mpc-dev-loop) — Run local MPC smoke tests, ClientStore input flows, hot reload, and SDK local coordinator-backed execution. * [Stoffel App Network and Off-Chain Integration](/developer-skills/stoffel-app-network-and-offchain-integration) — Move from local bytecode to client/server builders, network config, and off-chain coordinator integration. * [Stoffel Deployment Runbook](/developer-skills/stoffel-deployment-runbook) — Prepare production-shaped artifacts, topology, coordinator settings, identity material, client config, and operational verification. * [Stoffel App Troubleshooting](/developer-skills/stoffel-app-troubleshooting) — Diagnose app-level init, check, build, run, local MPC, binding, SDK, and network failures with evidence. * [Stoffel AI Agent Implementation](/developer-skills/stoffel-ai-agent-implementation) — Give AI coding agents backend, input/output, validation, and cost-model context before they write Stoffel code. ## Source and maintenance The visible pages are mirrored into `.mintlify/skills//SKILL.md` so developers can read them in the docs and AI agents can fetch them as skill resources. After editing a page in `developer-skills/`, run `python scripts/sync_developer_skills.py` before validating.