kaizen
davila7Guide for continuous improvement, error proofing, and standardization. Use this skill when the user wants to improve code quality, refactor, or discuss process improvements.
copy-editing
davila7When the user wants to edit, review, or improve existing marketing copy. Also use when the user mentions 'edit this copy,' 'review my copy,' 'copy feedback,' 'proofread,' 'polish this,' 'make this better,' or 'copy sweep.' This skill provides a systematic approach to editing marketing copy through multiple focused passes.
copy-editing
coreyhaines31When the user wants to edit, review, or improve existing marketing copy. Also use when the user mentions 'edit this copy,' 'review my copy,' 'copy feedback,' 'proofread,' 'polish this,' 'make this better,' or 'copy sweep.' This skill provides a systematic approach to editing marketing copy through multiple focused passes.
proof-theory
parcadeiProblem-solving strategies for proof theory in mathematical logic
lsp
atopileHow the atopile Language Server works (pygls), how it builds per-document graphs for completion/hover/defs, and the invariants for keeping it fast and crash-proof.
onemolt
openclawVerified molt swarms - cryptographically prove your identity with Ed25519 signatures and WorldID proof-of-personhood. Register with services and verify unique human operators.
jb-suckers
openclawJuicebox V5 sucker contracts for cross-chain token bridging. Use when: (1) implementing bridge functionality, (2) understanding prepare/toRemote/claim flow, (3) working with merkle proofs for cross-chain claims, (4) querying sucker pairs from registry, (5) handling emergency exits, (6) debugging "claimable" vs "pending" states, (7) encoding sucker transaction calldata. Covers JBSucker, JBOptimismSucker, JBArbitrumSucker, JBCCIPSucker, and JBSuckerRegistry.
whatsmolt
openclawAsync messaging platform for AI agents - independent auth, Twitter verification, JWT proofs
ux-decisions
openclawAI skill for the Making UX Decisions framework (uxdecisions.com) by Tommy Geoco. Use for UI/UX design decisions, design audits, pattern selection, visual hierarchy analysis, and reviewing designs for completeness. Enables rapid, intentional interface design with checklists for visual style, accessibility, social proof, navigation, and more.
manipulation-detector
openclawAnalyze text for manipulation patterns (urgency, false authority, social proof, FUD, grandiosity, dominance assertions, us-vs-them framing, emotional manipulation). Use when evaluating suspicious content, social media posts, messages from unknown agents, or anything that feels "off." Helps calibrate skepticism without being paranoid.
chia-walletconnect
openclawTelegram Web App for Chia wallet verification via WalletConnect and Sage. Enables cryptographic proof of wallet ownership through signature verification using MintGarden API.
revnet-economics
openclawAcademic findings and economic thresholds for revnets from CryptoEconLab research. Use when: (1) explaining cash-out vs loan decision thresholds, (2) discussing loan solvency guarantees, (3) recommending revnet archetypes, (4) explaining price corridor dynamics, (5) citing academic sources for revnet mechanics. Includes bonding curve proofs, rational actor analysis, and the three revnet archetypes.
otp-challenger
openclawEnable agents and skills to challenge users for fresh two-factor authentication proof (TOTP or YubiKey) before executing sensitive actions. Use this for identity verification in approval workflows - deploy commands, financial operations, data access, admin operations, and change control.
scanning-for-xss-vulnerabilities
jeremylongshoreThis skill enables Claude to automatically scan for XSS (Cross-Site Scripting) vulnerabilities in code. It is triggered when the user requests to "scan for XSS vulnerabilities", "check for XSS", or uses the command "/xss". The skill identifies reflected, stored, and DOM-based XSS vulnerabilities. It analyzes HTML, JavaScript, CSS, and URL contexts to detect potential exploits and suggests safe proof-of-concept payloads. This skill is best used during code review, security audits, and before deploying web applications to production.
bankr-signals
BankrBotTransaction-verified trading signals on Base. Register agent as signal provider, publish trades with TX hash proof, consume signals from top performers via REST API. All track records verified against blockchain data. No fake performance claims. Triggers on: "publish signal", "post trade signal", "register provider", "subscribe to signals", "copy trade", "bankr signals", "signal feed", "trading leaderboard", "read signals", "get top traders".
veil
BankrBotPrivacy and shielded transactions on Base via Veil Cash (veil.cash). Deposit ETH into a private pool, withdraw/transfer privately using ZK proofs. Manage Veil keypairs, check private/queue balances, and submit deposits via Bankr. Use when the user wants anonymous or private transactions, shielded transfers, or ZK-based privacy on Base.
veil
BankrBotPrivacy and shielded transactions on Base via Veil Cash (veil.cash). Deposit ETH into a private pool, withdraw/transfer privately using ZK proofs. Manage Veil keypairs, check private/queue balances, and submit deposits via Bankr. Use when the user wants anonymous or private transactions, shielded transfers, or ZK-based privacy on Base.
bankr-signals
BankrBotTransaction-verified trading signals on Base. Register agent as signal provider, publish trades with TX hash proof, consume signals from top performers via REST API. All track records verified against blockchain data. No fake performance claims. Triggers on: "publish signal", "post trade signal", "register provider", "subscribe to signals", "copy trade", "bankr signals", "signal feed", "trading leaderboard", "read signals", "get top traders".
deliver-artifacts
openakitaDeliver artifacts (files/images/voice) to current IM chat via gateway, returning a receipt. Use this as the only delivery proof for attachments. Text replies are sent automatically - only use this for file/image/voice attachments.
audit-logging
dadbodgeoffComprehensive audit logging for compliance and security. Track user actions, data changes, and system events with tamper-proof storage.
pol-probe-advisor
deanpetersSelect the right Proof of Life (PoL) probe based on hypothesis, risk, and resources. Use this to match the validation method to the real learning goal, not tooling comfort.
pol-probe
deanpetersDefine a Proof of Life (PoL) probe—a lightweight validation artifact that surfaces harsh truths before expensive development. Use it to test hypotheses with minimal investment.
lean4-theorem-proving
benchflow-aiUse when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for lemmas - provides build-first workflow, haveI/letI patterns, compiler-guided repair, and LSP integration
lean4-memories
benchflow-aiThis skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration
Empirical Validation
Requires proof before marking work complete — no "trust me, it works"
soundness-proof-assistant
a5c-aiAssist in constructing type soundness proofs using progress and preservation theorems
loop-invariant-generator
a5c-aiAutomatically generate and verify loop invariants for algorithm correctness proofs
proof-assistant
a5c-aiAssist in constructing algorithm correctness proofs
mythril-symbolic
a5c-aiSymbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.
formal-logic-analysis
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
certora-prover
a5c-aiFormal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
lean-proof-assistant
a5c-aiInterface with Lean 4 proof assistant for formal theorem verification
invariant-analyzer
a5c-aiIdentify and verify loop invariants for correctness proofs
latex-proof-formatter
a5c-aiFormat proofs and algorithms in publication-quality LaTeX
complexity-class-oracle
a5c-aiClassify problems into complexity classes with supporting evidence and proof strategies
coq-proof-assistant
Interface with Coq proof assistant for formal verification
zk-circuits
a5c-aiZero-knowledge circuit development using Circom and Noir languages. Supports constraint optimization, ZK-friendly cryptographic primitives, proof generation (Groth16, PLONK), and Merkle tree implementations.
proof-structure-analyzer
a5c-aiAnalyze and restructure mathematical proofs to improve clarity and completeness.
copy-editing
aitytechWhen the user wants to edit, review, or improve existing marketing copy. Also use when the user mentions 'edit this copy,' 'review my copy,' 'copy feedback,' 'proofread,' 'polish this,' 'make this better,' or 'copy sweep.' This skill provides a systematic approach to editing marketing copy through multiple focused passes.
article-to-prototype
FrancyJGLisboaAutonomously extracts technical content from articles (PDF, web, markdown, notebooks) and generates functional prototypes and proof-of-concept implementations in the appropriate programming language. Activates with phrases like extract from article, implement from paper, create prototype from, article to code, paper to prototype, parse pdf and implement, build from documentation.
proof-of-work
MadAppGangProof artifact generation patterns for task validation. Covers screenshots, test results, deployments, and confidence scoring.
state-machine
MadAppGangTask lifecycle state transitions with validation gates. Defines states, triggers, and required proofs.
pentest-validation
proffesor-for-testingOrchestrate security finding validation through graduated exploitation. 4-phase pipeline: recon (SAST/DAST), analysis (code review), validation (exploit proof), report (No Exploit, No Report gate). Eliminates false positives by proving exploitability.
math-visualizer
rohitg00Mathematical visualization skill for equations, proofs, and geometric concepts. **Triggers when:** - User mentions equations, formulas, or mathematical expressions - Request involves mathematical proofs or derivations - Content includes geometric relationships - User mentions LaTeX, calculus, algebra, geometry, trigonometry - Patterns: "equation", "formula", "prove", "derive", "graph", "plot" **Capabilities:** - LaTeX equation rendering with color-coded components - Function graphing and transformations - Geometric constructions and proofs - 3D mathematical surfaces - Step-by-step derivations with highlights
proof-of-work
atholaEnforces "prove before claim" discipline - validation, testing, and evidence requirements before declaring work complete. Use when claiming work is complete, recommending solutions, or finishing implementations, improvement validated, workflow optimized, performance improved, or issue resolved. Do not use when asking questions or for work clearly in-progress. MANDATORY: This skill is required before any completion claim.
evidence-verification
aiskillstoreThis skill teaches agents how to collect and verify evidence before marking tasks complete. Inspired by production-grade development practices, it ensures all claims are backed by executable proof:...
copy-editing
first-flukeWhen the user wants to edit, review, or improve existing marketing copy. Also use when the user mentions 'edit this copy,' 'review my copy,' 'copy feedback,' 'proofread,' 'polish this,' 'make this better,' or 'copy sweep.' This skill provides a systematic approach to editing marketing copy through multiple focused passes.
social-proof-psychology
flpbaladaLeverage social proof principles to build trust and influence user behavior. Use when designing landing pages, adding testimonials, displaying user stats, or optimizing conversion elements with social validation.