Results for “formal-verification”
52 skills
x402agent Qedgen
Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.
9 · bundle
trailofbits Mermaid To Proverif
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models (.pv files) for proving security properties like secrecy, authentication, and forward secrecy.
6k · bundle
More results
trailofbits Fp Check
Verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each.
6k · bundle
salacoste Verify
Verify that a change really works before you claim completion
1
a5c-ai Verification
Verification-before-completion discipline ensuring all success criteria are met, tests pass, and reviews complete before declaring work done.
1.7k · bundle
hoangnguyen0403 Verify Work
Verify feature, bug, UI, API, mobile, security, or deployment work against acceptance criteria.
542
lionelndong Claims Links Product Proof
Verify the article’s factual, product, citation, and link integrity before visual production.
0
auto-skiller Verification Gate
Enforces a verification gate before any completion claim, requiring fresh command output as evidence.
1 · bundle
herdiansah Verification Before Completion
Use when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output before making any success claims; evidence before assertions always
23
seb1n Fact Checking
Verify the accuracy of claims and statements by extracting individual assertions, identifying authoritative sources, cross-referencing evidence, and assigning confidence-scored verdicts. Use when the user requests fact checking or provides relevant inputs for this workflow.
159
samyakjhaveri Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, ensuring evidence precedes any success claims.
0
racecraft-lab Speckit Verify Tasks
Verify tasks marked [X] in tasks.md are implemented, not phantom completions (marked done but backed by missing or dead code).
11
micsapp Verify
Combined verification — recite (description quality via cold-read prediction) + validate (schema compliance) + review (health checks). Use as a quality gate after creating notes or as periodic maintenance. Triggers on "/verify", "/verify [note]", "verify note quality", "check note health".
3 · bundle
haongo232 Verify
Verify code changes work by running them. Proves through execution, not just inspection.
3
auto-skiller Validate Schema
Verifies data structures, files, YAML blocks, or agent output against their defined schema, producing a pass/fail report with actionable fix instructions.
1 · bundle
anantha-236 Verification Loop
A comprehensive verification system for Claude Code sessions.
1
tools-only 066 Capa 982d53c7
Guides CAPA effectiveness assessment with verification methods, SMART criteria, and closure requirements.
7 · bundle
auto-skiller Verification Patterns
Provides grep-based patterns to verify that code artifacts are real implementations rather than stubs or placeholders, covering React components, API routes, database schemas, and hooks.
1
ai-builder-club Verifier Setup
Scaffolds a per-task verification skill for a repo, including a dev-local launcher, a browser driver, and a verification SOP that spawns a sub-agent to drive the app and produce proof.
770 · bundle
obra Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.
247k
nagarenegishi Plan Verify
Verifies each step of a rough implementation plan against source code and current documentation, attaching proof and marking steps as verified or unverified.
0
brycewang-stanford Reference Verify
Verify references in an academic paper: check whether each BibTeX entry is real, whether in-text citations match the cited paper's actual content, and produce a structured verification report. Use when user says "验证参考文献", "ref verify", "check references", "核实引用", "引用是否正确", or wants to audit citations in a LaTeX manuscript.
1k
construct-ai-primary Source Verification
Use when incorporating information from research, references, or external sources. This skill provides verification procedures to ensure information used in deliverables is accurate, current, and from authoritative sources, preventing hallucination and misinformation.
0
pantyuhov9-web Verification Before Completion
Use when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output before making any success claims; evidence before assertions always
0
brycewang-stanford F5
Humanization Quality Verifier - Ensures transformation integrity and quality Validates that humanization preserves meaning, citations, and academic standards Use when: after G6 transformation, before final export, for quality assurance Triggers: verify humanization, check transformation, validate changes
1k
haongo232 Verify Changes
Prove code works by running it, not just checking it exists. Verification through execution rather than inspection. Use after writing or modifying code to ensure it actually functions correctly.
3
amplifthq Verify Before Done
Require fresh evidence before claiming an implementation, fix, build, or test is complete.
4
eli-yu-first Academic Proofreader
Proofreads academic writing for grammar, style consistency, jargon clarity, and formal tone
6 · bundle
kursku Gsd Verify Work
Validate built features through conversational UAT
55
shenxingy Verify
Verify project behavior anchors — compilation, tests, and interaction checks after autonomous runs. NOT the Claude Code built-in /verify (which runs the app to observe a single change working) — this one walks the CLAUDE.md "Features (Behavior Anchors)" list.
8 · bundle
racecraft-lab Speckit Verify Tasks Run
Verify tasks marked [X] in tasks.md are implemented, not phantom completions (marked done but backed by missing or dead code).
11
a5c-ai Verification Suite
Plan structure validation, phase completeness checks, reference integrity verification, and artifact existence confirmation. Provides the structured verification layer ensuring GSD artifacts are well-formed and complete.
1.7k · bundle
azusagasaku Verification Loop
Claude Code 会话的全面验证系统。
0
leandrobenjaminl Data Verify
Verifica la reproducibilidad y consistencia de un análisis de datos antes de presentarlo, validando contra la pregunta original y documentando limitaciones.
0
openclaw Behavior Validator
Validates observable behavior of apps, CLIs, APIs, and generated artifacts against a prewritten contract without inspecting source code.
9.1k · bundle
b4san Openspec Verify Change
Verify implementation matches change artifacts. Use when the user wants to validate that implementation is complete, correct, and coherent before archiving.
2