Tsp Csharp
querylenshq/ef-querylens
Comprehensive C and .NET development skill for TSP projects.
Help users work with EIP-7864 Binary Merkle Tries for stateless Ethereum execution using Nethereum.Merkle.Binary (.NET).
$ npx skills add Nethereum/Nethereum --skill binary-merkle-trie -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install Nethereum/Nethereum binary-merkle-trie --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/Nethereum/Nethereum.git skills-src && mkdir -p .claude/skills && cp -r skills-src/plugins/nethereum-skills/skills/binary-merkle-trie .claude/skills/binary-merkle-trie && 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 "binary-merkle-trie" agent skill from https://github.com/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trie into .claude/skills/binary-merkle-trie/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "binary-merkle-trie", 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/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trieType 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 Nethereum/Nethereum --skill binary-merkle-trie -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install Nethereum/Nethereum binary-merkle-trie --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Nethereum/Nethereum.git skills-src && mkdir -p .agents/skills && cp -r skills-src/plugins/nethereum-skills/skills/binary-merkle-trie .agents/skills/binary-merkle-trie && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "binary-merkle-trie" agent skill from https://github.com/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trie into .agents/skills/binary-merkle-trie/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "binary-merkle-trie", 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 Nethereum/Nethereum --skill binary-merkle-trie -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install Nethereum/Nethereum binary-merkle-trie --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Nethereum/Nethereum.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/plugins/nethereum-skills/skills/binary-merkle-trie .cursor/skills/binary-merkle-trie && 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 "binary-merkle-trie" agent skill from https://github.com/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trie into .cursor/skills/binary-merkle-trie/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "binary-merkle-trie", 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/Nethereum/Nethereum.git --path plugins/nethereum-skills/skills/binary-merkle-trie--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 Nethereum/Nethereum --skill binary-merkle-trie -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install Nethereum/Nethereum binary-merkle-trie --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Nethereum/Nethereum.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/plugins/nethereum-skills/skills/binary-merkle-trie .gemini/skills/binary-merkle-trie && 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 "binary-merkle-trie" agent skill from https://github.com/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trie into .gemini/skills/binary-merkle-trie/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "binary-merkle-trie", 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 Nethereum/Nethereum binary-merkle-trieInstalls 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 Nethereum/Nethereum --skill binary-merkle-trie -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/Nethereum/Nethereum.git skills-src && mkdir -p .github/skills && cp -r skills-src/plugins/nethereum-skills/skills/binary-merkle-trie .github/skills/binary-merkle-trie && 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 "binary-merkle-trie" agent skill from https://github.com/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trie into .github/skills/binary-merkle-trie/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "binary-merkle-trie", 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 Nethereum/Nethereum --skill binary-merkle-trie -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install Nethereum/Nethereum binary-merkle-trie --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/Nethereum/Nethereum.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/plugins/nethereum-skills/skills/binary-merkle-trie .opencode/skills/binary-merkle-trie && 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 "binary-merkle-trie" agent skill from https://github.com/Nethereum/Nethereum/tree/master/plugins/nethereum-skills/skills/binary-merkle-trie into .opencode/skills/binary-merkle-trie/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "binary-merkle-trie", 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.
binary-merkle-trieHelp users work with EIP-7864 Binary Merkle Tries for stateless Ethereum execution using Nethereum.Merkle.Binary (.NET).
Binary Merkle Trie is an agent skill from Nethereum/Nethereum. Help users work with EIP-7864 Binary Merkle Tries for stateless Ethereum execution using Nethereum.Merkle.Binary (.NET). Use this skill whenever the user mentions binary trie, EIP-7864, stateless execution, stem nodes, binary Merkle, BasicDataLeaf, code chunking, BLAKE3, or Verkle-style trie structures in a C/.NET context.
Its SKILL.md is about 1.2k 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 Backend & APIs. It works with Ethereum, .NET and C#. The repository describes itself as: Ethereum .Net cross platform integration library. The licence is MIT.
Read from SKILL.md and the folder at commit 229f278. 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:
dotnetFrom the folder's file list and the shell code blocks in SKILL.md.
Links to these hosts (documentation or services it may open):
docs.nethereum.comFrom 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.
Binary Merkle Trie loads about 1.2k tokens when it runs. Until then it costs about 86 tokens; SKILL.md has 280 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 found no risky patterns in SKILL.md.
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 Nethereum/Nethereum at commit 229f278, republished under its MIT licence (© Nethereum). 280 words, ~1,176 tokens.
.claude/skills/binary-merkle-trie/SKILL.md (or your agent's skills folder).Use this skill when a user wants to:
dotnet add package Nethereum.Merkle.BinaryEIP-7864 proposes replacing Ethereum's Patricia trie with a binary structure for smaller proofs and stateless block execution. A 32-byte key splits into a 31-byte stem (shared prefix) and 1-byte suffix (index 0-255). Account data, code, and storage for the same address share a stem, so a single proof path covers all related values.
using Nethereum.Merkle.Binary;
var trie = new BinaryTrie();
var key = new byte[32];
key[31] = 0x01;
var value = new byte[32];
value[0] = 0xFF;
trie.Put(key, value);
var retrieved = trie.Get(key);
trie.Delete(key); // Sets value to zero
var root = trie.ComputeRoot();Map Ethereum addresses and storage slots to trie keys:
using Nethereum.Merkle.Binary.Keys;
using Nethereum.Merkle.Binary.Hashing;
using System.Numerics;
var kd = new BinaryTreeKeyDerivation(new Blake3HashProvider());
var address = new byte[20]; // Ethereum address
var basicDataKey = kd.GetTreeKeyForBasicData(address);
var codeHashKey = kd.GetTreeKeyForCodeHash(address);
var storageKey = kd.GetTreeKeyForStorageSlot(address, new BigInteger(42));
var codeChunkKey = kd.GetTreeKeyForCodeChunk(address, chunkId: 0);Pack nonce, balance, code size, and version into a single 32-byte leaf:
using Nethereum.Merkle.Binary.Keys;
using System.Numerics;
var leaf = BasicDataLeaf.Pack(
version: 1,
codeSize: 24576,
nonce: 42,
balance: BigInteger.Parse("1000000000000000000"));
BasicDataLeaf.Unpack(leaf, out var version, out var codeSize,
out var nonce, out var balance);Layout: [version:1][reserved:4][codeSize:3][nonce:8][balance:16] = 32 bytes.
Split bytecode into 31-byte chunks with PUSH continuation tracking:
var chunks = CodeChunker.ChunkifyCode(bytecode);
// Each chunk: [continuation_byte][31 bytes of code]using Nethereum.Merkle.Binary.Proofs;
var prover = new BinaryTrieProver(trie);
var proof = prover.BuildProof(key);
// Verify independently (only needs root hash, key, and proof)
var verifier = new BinaryTrieProofVerifier(trie.HashProvider);
var verified = verifier.VerifyProof(trie.ComputeRoot(), key, proof);
// Returns the value if valid, null otherwiseInsert or retrieve all 256 values at a stem:
var stem = new byte[31];
var values = new byte[256][];
values[0] = new byte[32]; values[0][0] = 0xAA;
values[255] = new byte[32]; values[255][0] = 0xCC;
trie.PutStem(stem, values);
var retrieved = trie.GetValuesAtStem(stem);// SHA-256 (default)
var sha256Trie = new BinaryTrie(new Sha256HashProvider());
// BLAKE3 (faster, managed implementation)
var blake3Trie = new BinaryTrie(new Blake3HashProvider());| Type | Purpose |
|---|---|
BinaryTrie | Main trie — Put, Get, Delete, ComputeRoot |
BinaryTreeKeyDerivation | Map addresses/slots to trie keys |
BasicDataLeaf | Pack/unpack account state (version, nonce, balance, codeSize) |
CodeChunker | Split bytecode into 31-byte chunks |
BinaryTrieProver | Generate inclusion proofs |
BinaryTrieProofVerifier | Verify proofs against a root hash |
Blake3HashProvider | BLAKE3 managed hash implementation |
Delete sets the value to zero bytes — it doesn't remove the keyGetTreeKeyForBasicData accepts a 20-byte address (internally padded to 32)For full documentation, see: https://docs.nethereum.com/docs/consensus-and-cryptography/guide-binary-merkle-trie
© Nethereum, MIT. 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 plugins/nethereum-skills/skills/binary-merkle-trie of Nethereum/Nethereum.
Open the folder on GitHubat commit 229f278
Binary Merkle Trie 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 |
|---|---|---|---|---|---|---|
| Binary Merkle Trie this skillNethereum/Nethereum | 2.3k | — | ~1.2k | Automated safety check: Pass | MIT | |
| Tsp Csharpquerylenshq/ef-querylens | 225 | — | ~1.3k | Automated safety check: Pass | MIT | |
| XML DocumentationVonage/vonage-dotnet-sdk | 118 | — | ~2.7k | Automated safety check: Pass | Apache-2.0 | |
| Dotnet 10 Csharp 14sketch7/FluentlyHttpClient | 121 | — | ~2.2k | Automated safety check: Pass | MIT | |
| DisCatSharp Discord DevelopmentAiko-IT-Systems/DisCatSharp | 140 | — | ~1.2k | Automated safety check: Pass | MIT | |
| Foundationdb Advanced LayersSnowBankSDK/foundationdb-dotnet-client | 158 | — | ~3.4k | Automated safety check: Pass | BSD-3-Clause |
querylenshq/ef-querylens
Comprehensive C and .NET development skill for TSP projects.
Vonage/vonage-dotnet-sdk
Improve XML documentation in the Vonage .NET SDK. An agent skill from Vonage/vonage-dotnet-sdk.
sketch7/FluentlyHttpClient
A skill your agent uses when building .NET 10 or C 14 applications; when using minimal APIs, modular monolith patterns, or feature folders; when implementing HTTP resilience, Options pattern…
Aiko-IT-Systems/DisCatSharp
Helps build, explain and troubleshoot C# Discord apps on DisCatSharp, answering from the project's installed version and the library's documentation rather than guesses.
SnowBankSDK/foundationdb-dotnet-client
Advanced engineering for sophisticated FoundationDB layers with the .NET client (FoundationDB.Client / SnowBank) — the cluster model and transaction lifecycle (proxies, resolvers, tlogs, storage…
qusong0627/QuantMind
Guides building C# and .NET apps on the Tiger Brokers OpenAPI SDK: setup, market data, orders, accounts, options and real-time push, defaulting to paper trading.
Nethereum/Nethereum
Help users batch multiple calls into a single UserOperation and sponsor gas with paymasters using Nethereum Account Abstraction.
Nethereum/Nethereum
Help users run an ERC-4337 bundler using Nethereum — set up in-process or standalone bundlers with mempool, validation, reputation, and JSON-RPC server.
Nethereum/Nethereum
Encode and decode Ethereum ABI data with Nethereum. An agent skill from Nethereum/Nethereum.
Nethereum/Nethereum
Fetch contract ABIs from Sourcify, Etherscan, and 4Byte Directory using the composite ABIInfoStorage pattern (.NET/C).
Nethereum/Nethereum
Help users implement ERC-4337 Account Abstraction with Nethereum — send UserOperations, use smart accounts, route contract calls through a bundler, enable gasless transactions, or work with AA in…
Nethereum/Nethereum
Validate and format Ethereum addresses with Nethereum. An agent skill from Nethereum/Nethereum.
Categories
Help users work with EIP-7864 Binary Merkle Tries for stateless Ethereum execution using Nethereum.Merkle.Binary (.NET). Binary Merkle Trie is an agent skill from Nethereum/Nethereum.NET).
Binary Merkle Trie fits situations like: the user mentions binary trie; stateless execution; verkle-style trie structures in a C/.NET context.
Run `npx skills add Nethereum/Nethereum --skill binary-merkle-trie -a claude-code`. Or copy the skill folder (plugins/nethereum-skills/skills/binary-merkle-trie in Nethereum/Nethereum) into .claude/skills/binary-merkle-trie in your project. Claude Code loads it when a task matches its description.
Run `npx skills add Nethereum/Nethereum --skill binary-merkle-trie -a codex`. Or copy the skill folder (plugins/nethereum-skills/skills/binary-merkle-trie in Nethereum/Nethereum) into .agents/skills/binary-merkle-trie 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 Nethereum/Nethereum --skill binary-merkle-trie -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/binary-merkle-trie, .gemini/skills/binary-merkle-trie, .github/skills/binary-merkle-trie and .opencode/skills/binary-merkle-trie in your project.
Going by SKILL.md and its folder, Binary Merkle Trie needs the command-line tools its instructions call (dotnet).
SKILL.md names 1 domain. As links in the text: docs.nethereum.com. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
Binary Merkle Trie is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.2k tokens (SKILL.md is roughly 4.7k 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 Binary Merkle Trie: Tsp Csharp (querylenshq/ef-querylens, 225 stars), XML Documentation (Vonage/vonage-dotnet-sdk, 118 stars), Dotnet 10 Csharp 14 (sketch7/FluentlyHttpClient, 121 stars) and DisCatSharp Discord Development (Aiko-IT-Systems/DisCatSharp, 140 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Nethereum (a GitHub organization) maintains it in Nethereum/Nethereum, which has 2,260 GitHub stars. The repository holds 71 skills in this directory. The repository was last updated on October 5, 2026.
Source: Nethereum/Nethereum on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.