AI Agent Skills

Learn Blockchain, Solidity, and Full Stack Web3 Development with Javascript

This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for…

A decentralized Electronic Health Record (EHR) system using Ethereum blockchain, Solidity, IPFS, Angular, and MetaMask. Enables secure, tamper-proof medical record stora…

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

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

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

Node for Polymesh Blockchain

ChainXim is a blockchain simulator developed by XinLab, which is used to simulate and verify blockchains under different networks and different consensus protocols, and…

Züs (formerly 0Chain) is a decentralized blockchain-based storage platform with no vendor lock-in and a 3-layer security - fragmentation, proxy re-encryption, and immuta…

Open-source reference implementations for AI-enabled payment security, blockchain fraud detection, and AML/CFT compliance reasoning.

Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund loss, state divergence. 25 core + 16 IBC + 10 EVM +…