18 tagged zk, measured the same way as everything else here.
Browse within: arkworks 8cryptography 8snark 8zk-snarks 8zkp 8linea 7smart-contracts 6
Skill Claude CodeCodex
Use when writing or debugging JavaScript/TypeScript that interacts with Starknet through the starknet.js SDK — building Call objects or calldata, encoding/decoding Cairo types (felt252, u256, structs, arrays, spans, ByteArray, Option/Result/custom enums), or working with contracts, accounts, providers, transactions…
Skill Claude CodeCodex
Deep code review of a pull request using parallel analysis agents (semantic consistency, bugs, tech debt, security). USE FOR: - Reviewing PRs for bugs, security issues, and code quality - Analyzing new abstractions for consistency and correctness - Identifying tech debt and architectural concerns - Posting review…
Skill Claude CodeCodex
Create a new spec through Socratic interview, filling each template section to zero ambiguity.
Skill Claude CodeCodex
Wrap a Rust function in a Jolt zero-knowledge proof.
Skill Claude CodeCodex
Scaffold or draft a new docs.linea.build page to editorial standards. Use when creating a new page, writing a first draft, or helping a contributor who isn't a professional writer produce content that meets the documentation team's expectations.
Skill Claude CodeCodex
Safely plan and execute dependency maintenance for JavaScript/TypeScript (npm, pnpm) and GitHub Actions, including npm lockfiles, pnpm workspaces, catalogs, overrides, SHA-pinned action versions, release-age policies, audits, CI validation, Dependabot boundaries, PRs, and GitHub tracking issues. Use whenever the user…
Skill Claude CodeCodex
Review docs.linea.build content for editorial compliance (voice, terminology, naming, formatting, frontmatter) before opening or merging a pull request. Use before submitting a PR, when reviewing someone else's draft, or when asked to audit existing pages.
Skill Claude CodeCodex
Operates Flounder, an autonomous white-hat security auditor. Use when a user asks for a security audit, bug-bounty review, vulnerability investigation, or exploit proof for a public-source or authorized repository, source tree, package, smart contract, Solidity/EVM project, ZK or proof-system code, deployed address…
Skill Claude CodeCodex
Solidity smart contract development guidelines for Lineth blockchain. Use when writing, reviewing, or refactoring Solidity contracts, or when the user asks about Solidity best practices, contract structure, or NatSpec docstrings. Covers NatSpec documentation, naming conventions, file layout, and code style.
Skill Claude CodeCodex
Triage unresolved bot review comments on a GitHub PR. Use when asked to run /squash-bugbot or to assess, fix, dismiss, reply to, or resolve bot review feedback.
Skill Claude CodeCodex
Operating manual for the Lineth Stack quickstart — the Docker-Compose dev/demo stack at docs/getting-started/lineth-stack in the lineth-monorepo that boots a local Linea/Lineth L2 with Sepolia or local L1 finality. Use whenever you are working inside the lineth-stack quickstart and need to boot or run the stack…