An agentic skills framework & software development methodology that works.

Prompt design using JSX.

The open source coding agent.

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…

AI engine for smart contract audit

This repository contains the Hugging Face Agents Course.

A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

Noir is a domain specific language for zero knowledge proofs

The smart contract security training ground for developers, security researchers and educators.

weird erc20 tokens

Numen Cyber Smart Contract CTF

Code and documentation to train Stanford's Alpaca models, and generate the data.

ZK proofs for responsible vulnerability disclosure on EVM.

A mutation-based tool for finding bugs in tests

Solidity, the Smart Contract Programming Language

Static Analyzer for Starknet smart contracts

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

Guidelines and training material to write secure smart contracts

Run arbitrary code on the EVM

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.

A STARK prover and verifier for arbitrary computations

Playing with zero-knowledge proof languages

To learn common smart contract vulnerabilities using Foundry!

Copilot for your terminal

Regexp based tool for mutating generic source code across numerous languages