Dotnet Debugging
novotnyllc/dotnet-artisan
Debugs Windows and Linux/macOS applications (native, .NET/CLR, mixed-mode) with WinDbg MCP (crash dumps, !analyze, !syncblk, !dlk, !runaway, !dumpheap, !gcroot, BSOD), dotnet-dump, lldb with SOS…
Start and interact with the Boundless localnet (docker compose-based local development network).
$ npx skills add boundless-xyz/boundless --skill localnet -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install boundless-xyz/boundless localnet --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/boundless-xyz/boundless.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/localnet .claude/skills/localnet && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "localnet" agent skill from https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnet into .claude/skills/localnet/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "localnet", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnetType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add boundless-xyz/boundless --skill localnet -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install boundless-xyz/boundless localnet --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/boundless-xyz/boundless.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.claude/skills/localnet .agents/skills/localnet && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "localnet" agent skill from https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnet into .agents/skills/localnet/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "localnet", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add boundless-xyz/boundless --skill localnet -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install boundless-xyz/boundless localnet --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/boundless-xyz/boundless.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.claude/skills/localnet .cursor/skills/localnet && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "localnet" agent skill from https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnet into .cursor/skills/localnet/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "localnet", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/boundless-xyz/boundless.git --path .claude/skills/localnet--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add boundless-xyz/boundless --skill localnet -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install boundless-xyz/boundless localnet --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/boundless-xyz/boundless.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.claude/skills/localnet .gemini/skills/localnet && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "localnet" agent skill from https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnet into .gemini/skills/localnet/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "localnet", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install boundless-xyz/boundless localnetInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add boundless-xyz/boundless --skill localnet -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/boundless-xyz/boundless.git skills-src && mkdir -p .github/skills && cp -r skills-src/.claude/skills/localnet .github/skills/localnet && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "localnet" agent skill from https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnet into .github/skills/localnet/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "localnet", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add boundless-xyz/boundless --skill localnet -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install boundless-xyz/boundless localnet --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/boundless-xyz/boundless.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.claude/skills/localnet .opencode/skills/localnet && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "localnet" agent skill from https://github.com/boundless-xyz/boundless/tree/main/.claude/skills/localnet into .opencode/skills/localnet/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "localnet", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
localnetStart and interact with the Boundless localnet (docker compose-based local development network).
Localnet is an agent skill from boundless-xyz/boundless. Start and interact with the Boundless localnet (docker compose-based local development network). Covers dev mode (fake proofs, broker included) and full proving mode, submitting requests, and debugging order flow. Use when the user wants to start localnet, run the local network, test proof requests locally, or debug broker/order-stream issues.
Its SKILL.md is about 1.8k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Development, covering Containers and Debugging. It works with Docker. The repository describes itself as: Monorepo for Boundless, the universal ZK protocol. The licence is Apache-2.0.
Read from SKILL.md and the folder at commit 93e971a. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Shell commands in SKILL.md call:
justcargodockercurljqFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use docker and curl, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Localnet loads about 1.8k tokens when it runs. Until then it costs about 89 tokens; SKILL.md has 703 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check noted patterns worth knowing about, such as sudo or a known installer.
. Other commands don't need it — `source .env.localnet` sets it.source .env.localnet && cargo run --example submit_echo -- \. Other commands don't need it — `source .env.localnet` sets it.source .env.localnet && just proversource .env.localnet && cargo run --example submit_echo -- \Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from boundless-xyz/boundless at commit 93e971a, republished under its Apache-2.0 licence (© boundless-xyz). 703 words, ~1,788 tokens.
.claude/skills/localnet/SKILL.md (or your agent's skills folder).Guide the user through starting and using the docker compose-based localnet.
Before starting, ensure:
forge build && cargo checktarget/riscv-guest/ (built by cargo check)Ask the user which mode they want (default to dev mode):
Uses RISC0_DEV_MODE=1. Proofs are faked so everything is instant. The broker runs as part of the docker compose cluster — no separate terminal needed. Best for testing request flow, contract interactions, and integration.
Uses RISC0_DEV_MODE=false. The broker is NOT included in the localnet cluster. Start it separately with just prover (Bento + broker). Requires a proving backend (local GPU or Bento cluster).
Run just localnet in the foreground (not as a background task). It handles deploying contracts and starting all services — wait for it to complete before submitting requests. This avoids needing to poll container status while the deployer runs.
Explicitly set RISC0_DEV_MODE on the just localnet command to avoid inheriting a stale value from the terminal environment. Other commands don't need it — source .env.localnet sets it.
# Start the full localnet (anvil + postgres + minio + order-stream + broker)
# Run in foreground — wait for it to finish before proceeding
RISC0_DEV_MODE=1 just localnetSubmit in a background task, then monitor status through order-stream, on-chain, and broker logs while it waits for fulfillment.
For immediate broker acceptance, the offer's max-price must cover the broker's estimated lock+fulfill gas cost (its lockin_gas_estimate + fulfill_gas_estimate config, ~620k gas ≈ 0.0007 ETH on anvil at 1 gwei), and min-price should sit above it for an instant lock. 0.001 ETH min / 0.003 ETH max clears both. The price starts at min-price before rampUpStart (defaults to now() + 30s), so setting min-price high enough means the broker accepts before the ramp even begins.
source .env.localnet && cargo run --example submit_echo -- \
--bidding-start "$(date +%s)" \
--min-price "0.001 ETH" \
--max-price "0.003 ETH"Why these values:
--bidding-start "$(date +%s)": Sets rampUpStart to now. Without this, the default is now() + 30s (DEFAULT_BASE_RAMP_UP_DELAY), which delays when the auction begins.--min-price "0.001 ETH": Above the broker's estimated lock+fulfill gas cost (~0.0007 ETH on anvil). If max-price is below that estimate the broker skips the order outright ("estimated gas cost ... exceeds max price"); if only min-price is low, it delays the lock until the auction ramps past its threshold.--max-price "0.003 ETH": ~3x min-price, reasonable ceilingExplicitly set RISC0_DEV_MODE=false on the just localnet command to avoid inheriting a stale value from the terminal environment. Other commands don't need it — source .env.localnet sets it.
# Terminal 1: Start the localnet (anvil + postgres + minio + order-stream, NO broker)
RISC0_DEV_MODE=false just localnet
# Terminal 2: Start the prover cluster (Bento + broker)
source .env.localnet && just prover
# Terminal 3: Submit a test request
source .env.localnet && cargo run --example submit_echo -- \
--bidding-start "$(date +%s)" \
--min-price "0.001 ETH" \
--max-price "0.003 ETH"After submitting a request, you'll see a request ID like:
Submitted request: 90f79bf6eb2c4f870365e785982e1f101e93b9061d289271Note: the limit query parameter is required.
# List recent orders
curl -s "http://localhost:8585/api/v1/orders?limit=10" | jq .
# Query a specific order by request ID
curl -s "http://localhost:8585/api/v1/orders?request_id=<REQUEST_ID>&limit=10" | jq .Use broker logs to extract the requestor-relevant milestones. The user cares about when the request was submitted, locked, and fulfilled, plus the fulfilled price — not the internal proving pipeline steps.
# Dev mode: broker runs in compose
docker compose -f dockerfiles/compose.localnet.yml --profile dev-broker logs broker 2>&1 | grep <REQUEST_ID>Key log lines to look for:
Locked request <ID> — when the broker locked itCompleted order: <ID> eth_reward: <PRICE> — when it was fulfilled and at what pricecreated_at field from the order-stream query shows submission timePresent status to the user as:
| Event | Time |
|---|---|
| Submitted | (from order-stream created_at) |
| Locked | (from broker log "Locked request") |
| Fulfilled | (from broker log "Completed order") |
Fulfilled price: (from eth_reward in the "Completed order" log line)
docker compose -f dockerfiles/compose.localnet.yml logs order-stream
# Watch live
docker compose -f dockerfiles/compose.localnet.yml logs -f order-stream# Stop localnet (preserves anvil state for restart)
just localnet down
# Stop and wipe all state (fresh start)
just localnet cleanBroadcasted order ... to 0 clients, the broker isn't connected to the WebSocketdocker compose -f dockerfiles/compose.localnet.yml --profile dev-broker psThe broker waits until the auction price exceeds its minimum profitable price (gas costs + min_mcycle_price). To avoid this delay, set --min-price above the broker's estimated lock+fulfill gas cost (~0.0007 ETH on anvil). The price sits at min-price before rampUpStart (default now() + 30s), so a sufficiently high min-price means instant acceptance.
--min-price is high enough to cover gas + min_mcycle_pricemin_mcycle_price in broker.toml vs the offer pricebroker.toml has the [price_oracle] section with static prices and chainlink disabled. just localnet adds this automatically.ss -tlnp | grep -E '8545|8585|5435|9100'© boundless-xyz, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in .claude/skills/localnet of boundless-xyz/boundless.
Open the folder on GitHubat commit 93e971a
Localnet next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Localnet this skillboundless-xyz/boundless | 193 | — | ~1.8k | Automated safety check: Notes | Apache-2.0 | |
| Dotnet Debuggingnovotnyllc/dotnet-artisan | 233 | — | ~2.1k | Automated safety check: Pass | MIT | |
| Linux Vm Testnubjs/nub | 4.4k | — | ~986 | Automated safety check: Pass | MIT | |
| Debugging Local Task Agent RunsPostHog/posthog | 40k | — | ~2.1k | Automated safety check: Notes | Custom licence | |
| Borg Live Debugkaranhudia/borg-ui | 1.7k | — | ~1.4k | Automated safety check: Notes | AGPL-3.0 | |
| .NET Crash Dump Collectiondotnet/skills | 5.6k | 2 repos | ~1.1k | Automated safety check: Pass | MIT |
novotnyllc/dotnet-artisan
Debugs Windows and Linux/macOS applications (native, .NET/CLR, mixed-mode) with WinDbg MCP (crash dumps, !analyze, !syncblk, !dlk, !runaway, !dumpheap, !gcroot, BSOD), dotnet-dump, lldb with SOS…
nubjs/nub
Run ad-hoc Nub tests and debugging probes on real local Linux guests.
PostHog/posthog
Debug the output of local PostHog task runs — the wizard cloud-run path that executes inside a Docker sandbox under the local Temporal process-task workflow (the wizard that integrates PostHog, then…
karanhudia/borg-ui
Live Borg debugging by exec-ing into the borg-web-ui Docker container.
dotnet/skills
Configures automatic crash dumps or captures dumps from running processes for modern .NET apps on Linux, macOS and Windows, including Docker and Kubernetes.
medusajs/medusa-agent-skills
Reproduces a Medusa Cloud build on your machine with mcloud local build, to debug build-failed deployments without pushing or waiting on Cloud.
boundless-xyz/boundless
How to use the Boundless CLI — the primary interface for the Boundless ZK proof marketplace.
boundless-xyz/boundless
Internal — for Boundless team members only. An agent skill from boundless-xyz/boundless.
boundless-xyz/boundless
Internal — for Boundless team members only. An agent skill from boundless-xyz/boundless.
boundless-xyz/boundless
Internal — for Boundless team members only. An agent skill from boundless-xyz/boundless.
boundless-xyz/boundless
Internal — for Boundless team members only. An agent skill from boundless-xyz/boundless.
boundless-xyz/boundless
Internal — for Boundless team members only. An agent skill from boundless-xyz/boundless.
Works with
Categories
Start and interact with the Boundless localnet (docker compose-based local development network). Localnet is an agent skill from boundless-xyz/boundless. Start and interact with the Boundless localnet (docker compose-based local development network).
Localnet fits situations like: the user wants to start localnet; run the local network; test proof requests locally; debug broker/order-stream issues.
Run `npx skills add boundless-xyz/boundless --skill localnet -a claude-code`. Or copy the skill folder (.claude/skills/localnet in boundless-xyz/boundless) into .claude/skills/localnet in your project. Claude Code loads it when a task matches its description.
Run `npx skills add boundless-xyz/boundless --skill localnet -a codex`. Or copy the skill folder (.claude/skills/localnet in boundless-xyz/boundless) into .agents/skills/localnet in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add boundless-xyz/boundless --skill localnet -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/localnet, .gemini/skills/localnet, .github/skills/localnet and .opencode/skills/localnet in your project.
Going by SKILL.md and its folder, Localnet needs the command-line tools its instructions call (just, cargo, docker, curl and jq). Our summary lists: Docker.
SKILL.md contains no URLs. Its commands use docker and curl, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found notes only (mentions a .env file), nothing it rates as a warning. It is not a guarantee. Review the folder before installing.
Localnet is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.8k tokens (SKILL.md is roughly 7.2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Localnet: Dotnet Debugging (novotnyllc/dotnet-artisan, 233 stars), Linux Vm Test (nubjs/nub, 4.4k stars), Debugging Local Task Agent Runs (PostHog/posthog, 40k stars) and Borg Live Debug (karanhudia/borg-ui, 1.7k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
boundless-xyz (a GitHub organization) maintains it in boundless-xyz/boundless, which has 193 GitHub stars. The repository holds 12 skills in this directory. The repository was last updated on August 26, 2026.
Source: boundless-xyz/boundless on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.