AI Agent Skills

A guide to smart contract security best practices

Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics

安全场景、基于AI的安全算法和安全数据分析业界实践

Ethereum smart contracts for security and utility tokens

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

The first Claude skill for writing production-grade, security-first Solana programs. Anchor & Native Rust. Built by Frank Castle.

18 Claude Code skill files for smart contract security — built from 2,749 Immunefi reports, 681 DeFiHack reproductions, and real hunt experience

Pre-launch checklist for shipping a new website or web app. Scope: analytics (GA4, PostHog, Google Search Console, Ahrefs), DNS, TLS and backups, legal and CNIL/GDPR com…

Smart Contract Vulnerabilities (SCV) List

A quick way to gather all the metadata about a video, playlist, or channel from the YouTube API.

This repository contains a list of the most popular and widely used tools in web3 security. If you find any tools missing, you can create a pull request and be a contrib…

Comprehensive project audit — security, dependencies, code quality, architecture, performance, infra, docs, and mesh analytics. Use when needing a full 8-dimension healt…

Data analysis and OSINT framework for Twitter

EOS bp nodes security checklist（EOS超级节点安全执行指南）

Using this script, you can enumerate Usernames and passwords of Nosql(mongodb) injecion vulnerable web applications.

Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)