cross-chain-relayer-audit
cross-chain-relayer-audit
【效率与协作】Cross-chain relayer bridge audit register: message hash verifications, replay protection nonces, validator quorum, and withdrawal proofs.
THE SKILLS DIRECTORY
探索全部技能.
一个技能，一个新的可能。找到适合你的 AI 工作流。
writing-lean-proofs
writing-lean-proofs
【设计与创意】Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining new types or definitions in a Lean library, reviewing Lean proofs for readability and maintainability, refactoring long tactic proofs into lemmas, fillin…
invariant-analyzer
invariant-analyzer
【效率与协作】Identify and verify loop invariants for correctness proofs
proof-assistant
proof-assistant
【效率与协作】Assist in constructing algorithm correctness proofs
latex-proof-formatter
latex-proof-formatter
【效率与协作】Format proofs and algorithms in publication-quality LaTeX
loop-invariant-generator
loop-invariant-generator
【效率与协作】Automatically generate and verify loop invariants for algorithm correctness proofs
soundness-proof-assistant
soundness-proof-assistant
【效率与协作】Assist in constructing type soundness proofs using progress and preservation theorems
proof-structure-analyzer
proof-structure-analyzer
【效率与协作】Analyze and restructure mathematical proofs for clarity and completeness
formal-logic-analysis
formal-logic-analysis
【数据与研究】Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
scienceclaw-reasoning
scienceclaw-reasoning
【数据与研究】Perform multi-step scientific reasoning, proof construction, causal inference, and logical argumentation. Use when: (1) deriving conclusions from premises, (2) causal analysis, (3) mathematical proofs, (4) hypothesis evaluation, (5) counterfactual reasoning. NOT for: simple factual questions (use scienceclaw-qa), data analysis (use code-execution), o…
sympy-math
sympy-math
【数据与研究】Symbolic mathematics via SymPy. Use when: user asks for algebraic manipulation, calculus, equation solving, or mathematical proofs. NOT for: numerical computation (use scipy) or statistical analysis.
threejs-procedural-architecture
threejs-procedural-architecture
【数据与研究】Build authored procedural buildings and architectural kits in Three.js. Use for massing grammars, exposed-edge analysis, façade bays, profiles, arches, cornices, roofs, ornaments, material-slot mesh compilation, deterministic variants, and procedural city assets.
selecting-privacy-enhancing-technologies
selecting-privacy-enhancing-technologies
【效率与协作】Comprehensive PET selection guide covering differential privacy, homomorphic encryption, secure multi-party computation, federated learning, zero-knowledge proofs, and trusted execution environments. Includes use-case matching matrix, performance comparison, and GDPR alignment assessment for each technology.
seagull-evasion
seagull-evasion
【数据与研究】Detection engineering research — analyze AV/EDR detection logic, profile signature/heuristic/behavioral/cloud classifiers, develop minimal bypass proofs, audit defense coverage gaps, and build shellcode/loader research samples. Use when Codex receives a binary flagged by AV, a detection rule to validate, an EDR hook to audit, or needs a research payl…
agentprivacy-academic
agentprivacy-academic
【数据与研究】Formal academic specification and research methodology for 0xagentprivacy. Activates when writing papers, proofs, formal specifications, literature reviews, or preparing work for peer review. Use for LaTeX formatting, citation standards, theorem-proof structure, or research presentation.
agentprivacy-archer
agentprivacy-archer
【效率与协作】Precision Strike Operative (Ranger variant) for 0xagentprivacy. Activates for single-property disclosure operations, maximum-precision minimum-residue proofs, targeted credential verification, or any task requiring surgical privacy operations — reveal exactly one truth and leave no trace.
agentprivacy-cipher
agentprivacy-cipher
【设计与创意】ZKP Protocol Engineer for 0xagentprivacy. Activates when the user needs zero-knowledge proof design, circuit architecture (Groth16, PLONK, Nova), mixer protocols, recursive SNARKs, personhood verification cryptography, Privacy Pool proof systems, or reconstruction resistance analysis. The mathematical swordsman who builds the proofs that make privacy…
agentprivacy-cross-chain
agentprivacy-cross-chain
【效率与协作】Cross-chain operations for 0xagentprivacy multi-chain architecture. Activates when discussing T(π) across chains, NEAR/Zcash/Ethereum interop, bridge-compatible proofs, chain signatures, cross-chain VRC portability, or multi-chain sovereignty transitions.
18 / 181