ethereum
- 48 skills
- 0 followers
- 9 hours ago last updated
- ▌ Add Resource With Tags · ethereumGuides contributors through adding or updating a tool/resource in catalog/resources.json and choosing tags from catalog/taxonomy.json. Use when the user wants to add a new resource, suggest tags, or update an existing resource entry.
- ▌ State Actor · ethereum bundleUse this skill when a user wants to generate, boot, verify, or extend a state-actor-produced Ethereum database. Covers --client, --spec, --target-size, per-client boot recipes (geth / reth / besu / nethermind / ethrex / erigon), and the canonical 33-entity spec fixture.
- ▌ Formal Verification Guard · ethereum bundleGuardrail for AI-assisted scientific, mathematical, and formal work. Use when the user is proposing or refining novel theorems, scientific hypotheses, algorithms, or "breakthrough" ideas, especially after long LLM conversations. This skill detects red flags for hallucinated discoveries, enforces falsifiability and verification workflows, records provenance and evidence chains, and prevents sycophantic agreement with unverified claims.
- ▌ Rln · ethereum bundleRoute, build, adapt, and debug Rate-Limiting Nullifier (RLN) applications. Use when a user wants privacy-preserving rate limits, anonymous chat or posting with spam deterrence, nullifier-based abuse detection, RLN registration/signaling/slashing flows, RLN V3 with Semaphore V4 or Noir, or guidance on choosing an RLN version.
- ▌ Semaphore · ethereum bundleBuild, adapt, and debug Semaphore V4 applications. Use when a user wants anonymous voting, anonymous feedback, group membership proofs, nullifier-based double-spend prevention, off-chain Semaphore proof generation, on-chain Semaphore group management, or integration with Semaphore identities, groups, proofs, contracts, or subgraphs.
- ▌ Tlsnotary · ethereum bundleBuild, adapt, and debug TLSNotary agent workflows and TLSNotary Extension plugins. Use when a user wants to prove data from a web service with TLSNotary, create or review a TLSNotary extension plugin, find a JSON API endpoint to notarize, design selective disclosure handlers, intercept browser auth headers, size maxRecvData/maxSentData, or troubleshoot TLSNotary proof generation.
- ▌ Commit · ethereumCommit changes and open pull requests. Follow the project's conventions for scope, formatting, and writing style. Always load this skill before committing or opening a pull request.
- ▌ Review · ethereumReview changes. Check that they are correct, consistent with the rest of the specifications, and compliant with the project's conventions. Always load this skill before reviewing changes.
- ▌ Run Tests · ethereumRun tests and generate reference tests. All testing goes through `make test`, never `pytest` directly. Always load this skill before running tests.
- ▌
- ▌ Prepare Release · ethereumPrepare for a new release. Perform checks to ensure that the release action can be started. Always load this skill before helping with a release.
- ▌ Tx Gas Benchmarking · ethereum bundleMeasure verifier transaction gas with Anvil, preserve broadcast receipts, and compare baseline and candidate runs.
- ▌ Forge Flamegraph Profiling · ethereum bundleProfile Solidity execution gas with Foundry harnesses, headless flamegraph parsing, and targeted optimized IR builds.
- ▌ Solidity Compiler Analysis · ethereum bundleAnalyze optimized Solidity IR and assembly to explain gas regressions, repeated computation, stack spills, and inlining effects. Use when evaluating compiler-sensitive verifier optimizations and their deployed bytecode cost.
- ▌ Gas Calibration Maintenance · ethereum bundleRefresh verifier gas calibration and affected schedule scores after Solidity or cost-model changes. Preserve measurement provenance, verify source fingerprints and receipt inputs, and regenerate reports with the repository's calibration gates.
- ▌ Finite Field Arithmetic Optimization · ethereum bundleOptimize measured finite-field arithmetic bottlenecks in Solidity verifiers using relevant algorithms and papers, explicit coefficient and overflow bounds, independent arithmetic references, and complete verifier validation.
- ▌ Add Series · ethereumRegister a new protocol call series in Forkcast. Use when a brand-new series type needs to be added to the codebase (not just syncing new calls in an existing series).
- ▌ Convert Eip · ethereumConvert an EIP proposed for the current fork into forkcast JSON format. Use when adding a new EIP to the tracker.
- ▌ Add Breakout · ethereumOnboard a brand-new breakout call series across ethereum/pm (trusted list, call series config, issue template, labeler) and Forkcast (via the add-series skill). Use when a new facilitator wants to start running a breakout. Pairs with add-series, which covers the Forkcast-only side.
- ▌ Sync Offsets · ethereumSet video/transcript sync offsets for newly synced calls. Use after "sync call assets from eth/pm" commits land on main.
- ▌ Fix Call Typos · ethereumFix transcript/tldr typos for a published Forkcast call AND update the upstream ACDbot vocab so the same typo doesn't recur. Use when a call page on forkcast.org has wrong client/protocol/term names that the pipeline missed.
- ▌ Infer Eip Layer · ethereumClassify an EIP's client layer (EL or CL) and set the `layer` field on EIPs that are missing it. Use when active fork EIPs lack a layer (e.g. audit-eips reports "missing layer"). Combines a deterministic `requires`-dependency signal with a semantic read of the EIP's substance; auto-applies only when both agree, otherwise flags for human review.
- ▌ Apply Key Decisions · ethereumPropagate a call's fork stage-change decisions into EIP data files. Use when a call's key_decisions.json records EIPs proposed/considered/scheduled/etc. for a fork (e.g. "PFI for Hegota") and the EIP JSONs need their forkRelationships updated to match.
- ▌ Draft Eip Narrative · ethereumDraft the laymanDescription, benefits, and tradeoffs fields for an EIP that already exists in src/data/eips/. Use when audit-eips reports missing narrative fields on EIPs that otherwise have complete metadata. For adding a brand-new EIP to the tracker, use convert-eip instead.
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌
- ▌ Challenger Pass · ethereumDevil's-advocate review pass over a protocol evaluation. For each property, a fresh sub-agent argues the closest counter-value to surface anchoring failures the same-session reviewer might have missed. Runs as Phase C.5 of /evaluate-protocol, between the first-pass review (Phase C) and the auto-patch phase (Phase D).
- ▌ Research Sources · ethereumFind authoritative source URLs for each property of a protocol evaluation using WebSearch/WebFetch, then write the results to scripts/research-cache/{id}.json so the API research script can consume them without spending API credits on web search.
- ▌ Evaluate Protocol · ethereumEnd-to-end evaluation pipeline for a single protocol — discover sources, run the citations research script, review the output against rules, run an independent second-pass review, and report, applying the qualifying rule-gap improvements to the rule files and leaving them uncommitted for human review.
- ▌ Review Evaluation · ethereumReview a protocol evaluation for accuracy, consistency, and rule compliance. Use when asked to review an evaluation.
- ▌ Property Rules Trust · ethereumPer-property guidance for the Trust / robustness property group (drawn from the schema's Decentralization & Security and Verifiable groups, excluding maturity which lives in property-rules-timing). Invoke when evaluating, reviewing, or editing notes/values for Censorship resistance, External network dependence, Escape hatch, Open source, Upgradeability, or Third-party inspectability. Cross-cutting rules in scripts/research-prompts.ts still apply on top.
- ▌ Property Rules Timing · ethereumPer-property guidance for timing-related properties — Time-to-finality, Deposit time, Withdraw time, and Implementation maturity. Invoke when evaluating, reviewing, or editing notes/values for any of these. Cross-cutting rules in scripts/research-prompts.ts still apply on top.
- ▌ Property Rules Privacy · ethereumPer-property guidance for the Privacy property group. Invoke when evaluating, reviewing, or editing notes/values for any of Anonymity, Confidentiality, Asset privacy, or Plausible deniability. Loads only the privacy-group rules so the active context stays focused on the property at hand. Cross-cutting rules in scripts/research-prompts.ts (WRITING, CROSS_CHECK, VALUE_FORMAT, SOURCE_SELECTION, REVIEW_ONLY) still apply on top.
- ▌ Review Evaluation Final · ethereumIndependent second-pass review of a protocol evaluation. Run AFTER /review-evaluation has produced its first report. This skill spawns a fresh subagent with no exposure to the first review's findings, has it review the same evaluation from scratch against the same rules, and diffs the two reports so anchoring bias from the first pass is surfaced. Use when an evaluation needs higher-confidence sign-off, especially before merging or shipping.
- ▌
- ▌ Property Rules State Model · ethereumPer-property guidance for the State property group. Invoke when evaluating, reviewing, or editing notes/values for Private state model, Private Data Storage, Client-side indexing, or Private State Scalability. Cross-cutting rules in scripts/research-prompts.ts still apply on top.
- ▌ Property Rules Cryptography · ethereumPer-property guidance for the Cryptography property group. Invoke when evaluating, reviewing, or editing notes/values for Verifiability, Post-quantum secure, Number of secrets, or Client-side proving. Cross-cutting rules in scripts/research-prompts.ts still apply on top — particularly WRITING_RULES
- ▌ Property Rules Composability · ethereumPer-property guidance for the Composability property group. Invoke when evaluating, reviewing, or editing notes/values for Access to DeFi or Programmability / Generality. Cross-cutting rules in scripts/research-prompts.ts still apply on top.