Download

Skill UI

Browse and discover 19345+ curated skills

All Development Artificial Intelligence Design & Creative Product & Business Data Science Marketing Soft Skills Productivity Engineering Languages

Search verification , found 482 results

Default Newest Most Downloaded

Citation Verification

verify-citations

sickn33/agentic-awesome-skills

Verify citations and references in documents against real sources using the Stipple API. Checks resolution, arithmetic, and unsupported claims. Use before publishing research reports, whitepapers, or academic writing.

Document Tamper Verification

verify-document

sickn33/agentic-awesome-skills

Check PDFs and images for signs of tampering or forgery using the Stipple API. Returns a risk band, inspection quality, and per-signal evidence for payslips, invoices, bank statements, IDs, and contracts before you rely on them.

Workflow Patterns for Task Implementation

workflow-patterns

sickn33/agentic-awesome-skills

This skill provides guidance for implementing tasks using structured workflow patterns, specifically following Conductor's TDD (Test-Driven Development) workflow. It helps manage phase checkpoints, organize git commits, and execute rigorous verification protocols. Use it when adhering to a defined development plan, ensuring quality gates are passed, and managing the entire lifecycle from initial planning to final validation.

Zero Trust Architecture

sickn33/agentic-awesome-skills

Implement zero-trust network architecture with identity-based access, micro-segmentation, and continuous verification. Covers BeyondCorp-style access, Cloudflare Access configuration, and OAuth2 Proxy deployment for securing modern applications.

Sensitive Data Zeroization Audit

sickn33/agentic-awesome-skills

Audits C, C++ and Rust source code for missing zeroization of secrets, keys and passwords, and detects wipes removed by compiler optimizations such as dead-store elimination. Uses LLVM IR and assembly evidence, control-flow verification and optional runtime tests. For authorized security assessments only.

Systematic Literature Review

scientific-thinking-literature-review

A systematic workflow for conducting literature reviews across academic, biomedical, technical, and scientific topics. Includes search planning, source screening, synthesis, citation verification, and evidence logging.

AI Agent Tool Registry Design

ai-agent-tool-routing

sickn33/agentic-awesome-skills

Design or review an AI agent tool registry or MCP router: document parameter schemas, caller authorization, runtime limits, effect-aware retry contracts and verification evidence before connecting tools to an agent runtime.

Lean Formal Proof Development

wanshuiyin/Auto-claude-code-research-in-sleep

This skill develops and verifies mathematical proofs using the Lean theorem prover. It handles creating new proofs, continuing incomplete projects, and auditing existing formalizations to ensure they match original statements. It connects inputs to lemmas, assembles theorems, and checks axioms for reproducibility. Use it for formal verification tasks rather than ordinary drafting.

Notion Manual Import

notion-manual-import

sickn33/agentic-awesome-skills

Prepares a Notion-ready CSV plus property mapping and click-path import instructions so users can manually upload a database. Renders the active module's confirmed field list, select and status options, and post-import verification steps.

Math Proof Siege

anthropics/claude-plugins-official

Automated multi-agent system to solve hard mathematics problems through iterative rounds of judging, worker queries, and verification, producing a proof.md with clear status.

Smart Contract Formal Verification

smart-contract-formal-verification

sickn33/agentic-awesome-skills

Provides a formal invariant verification framework for smart contracts using Foundry fuzzing, symbolic execution, and theorem proving to track safety properties, generate SQL/JSON schemas, and support audit compliance.

Smart Contract Upgrade Governance

smart-contract-upgrade-governance

sickn33/agentic-awesome-skills

Provides an auditable governance register for Soroban WASM smart contract upgrades, enforcing timelocks, bytecode hash verification, and multisig quorum with CSV, SQL DDL, and JSON Schema exports.

Prev 1 2 3...36 37 383940 41 Next

Language