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
모든 Skills 둘러보기.
하나의 Skill, 완전히 새로운 가능성. 다음 워크플로를 찾아보세요.
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, filling in so…
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), or liter…
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 payload tha…
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 enforc…
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
Direct from traceable public skill sources
An independently imported catalog with original authors, licenses and source links. Classification is not a security audit.
Sources and import coverage