Download

Skill UI

Browse and discover 19424+ curated skills

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

Search Verification , found 490 results

Default Newest Most Downloaded

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.

Source Document Filing

source-document-filing

sickn33/agentic-awesome-skills

Creates an indexed register of supporting documents with type, party, amount, index key, storage location, retention period, and verification status. Recommends the smallest workflow for document filing, builds CSV, SQL, JSON, or Notion outputs on request, and links each document to its supporting entry for traceable auditing.

Stellar Escrow Timelock

stellar-escrow-timelock

sickn33/agentic-awesome-skills

Provides an auditable framework for conditional asset locking, timelock boundary verifications, and multi-signature release triggers on Stellar, with standardized data models and verification schemas for integration into CI pipelines.

Talking Avatar Video

talking-avatar-video

sickn33/agentic-awesome-skills

Install and use the pinned official Talking Avatar Video package to generate talking-avatar videos from a portrait and short script via the paid hosted Beatra service. Includes digest verification, authorization, model discovery, and approval-gated paid calls.

Web3 Transaction Relayer Pool

web3-transaction-relayer-pool

sickn33/agentic-awesome-skills

Coordinates sponsored meta-transaction nodes, fee reservation pools, and cryptographic nonce tracking for frictionless Web3 user onboarding. Provides standardized data models and verification schemas for managing relayer infrastructure.

Zero-Knowledge Proof Verification Pipeline

zk-proof-verification-pipeline

sickn33/agentic-awesome-skills

Registers zero-knowledge SNARK proof verification keys, circuit complexity constraints, and nullifier tracking for double-spending prevention in privacy systems. Provides standardized field schemas, SQL DDL, JSON validation, and best practices for auditable cryptographic verification across distributed applications and smart contracts.

Jet Browser Automation

sickn33/agentic-awesome-skills

A browser runtime skill that provides isolated WPE WebKit sessions, native input, screenshots, and ordered JSONL automation. Supports docker-based container lifecycle, deterministic testing, and GitHub Actions verification. Useful for reproducible browser checks and self-hosted runtime integration.

OSINT Investigation Methodology

osint-investigation

A sparse-clue OSINT investigation methodology for extracting overlooked leads, connecting fragmented evidence, and testing explanations across sources. Use for multi-step CTF challenges, geolocation, event reconstruction, account verification, artifact interpretation, and infrastructure research.

Power Apps PCF Component Builder

microsoft/power-platform-skills

This tool builds, tests, upgrades, deploys, and verifies Power Apps Component Framework (PCF) controls for model-driven apps and Power Pages. It handles quality gates, deployment, registration verification, and troubleshooting for field and dataset controls. Supports canvas app setup and inventory checks.

Python Code Change Verification

sickn33/agentic-awesome-skills

This skill verifies Python code changes by running mutation testing on modified lines. It ensures every mutant is caught by tests, generating evidence of coverage rather than diffs. It helps confirm that new code is properly tested before completion, using pytest and mutation analysis to validate behavior and trust the change.

Prev 1 2 3...37 38 394041 Next

Language