Benjamin's starred repositories

zk-book

This is the markdown for the ZK Book

Stargazers:66Issues:0Issues:0
Language:SolidityStargazers:80Issues:0Issues:0

awesome-halmos

List of Halmos resources.

Stargazers:42Issues:0Issues:0

smart-contract-vulnerabilities

A collection of smart contract vulnerabilities along with prevention methods

Stargazers:1916Issues:0Issues:0

mckays-app-template

Come join the best place on the internet to learn AI skills. Use code "mckaysapptemplate" for an extra 20% off.

Language:TypeScriptLicense:MITStargazers:208Issues:0Issues:0
Language:SolidityStargazers:5Issues:0Issues:0

kernel

https://docs.zerodev.app/

Language:SolidityLicense:MITStargazers:177Issues:0Issues:0

solid-grinder

A 100% opensource CLI that goes along with building blocks of smart contract. This toolbox can reduce L2 gas cost by encoding calldata for dApps development to use as little bytes of calldata as possible.

Language:SolidityLicense:MITStargazers:88Issues:0Issues:0

betterscan-v1

A Solidity code search tool with built-in static analysis detection

Language:PythonLicense:MITStargazers:70Issues:0Issues:0
Language:SolidityLicense:GPL-3.0Stargazers:10Issues:0Issues:0

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustLicense:Apache-2.0Stargazers:42Issues:0Issues:0

build-onchain-apps

Accelerate your onchain creativity with the Build Onchain Apps Template. ⛵️

Language:SolidityLicense:MITStargazers:707Issues:0Issues:0
Language:SolidityLicense:GPL-3.0Stargazers:67Issues:0Issues:0

natspec-smells

👃Automatically identify missing or incomplete natspec

Language:TypeScriptLicense:MITStargazers:90Issues:0Issues:0

rareskills-blog-index

Index of Rareskill Blog posts using playwright

Language:JavaScriptStargazers:22Issues:0Issues:0

dethcode

View source of deployed Ethereum contracts in VSCode

Language:TypeScriptStargazers:1356Issues:0Issues:0

autogen

A programming framework for agentic AI 🤖

Language:Jupyter NotebookLicense:CC-BY-4.0Stargazers:31604Issues:0Issues:0
Language:JavaScriptStargazers:86Issues:0Issues:0

tips-solidity-code-auditors

Gaining the most elusive of tips. Add your input and let's collect them all!

License:UnlicenseStargazers:261Issues:0Issues:0

security-and-auditing-full-course-s23

The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.

Language:SolidityLicense:GPL-3.0Stargazers:1198Issues:0Issues:0
Language:SolidityStargazers:44Issues:0Issues:0

slitherin

Slither Detectors by Pessimistic.io

Language:PythonLicense:AGPL-3.0Stargazers:354Issues:0Issues:0

SCSVS

Smart Contract Security Verification Standard

Stargazers:445Issues:0Issues:0
Language:SolidityStargazers:103Issues:0Issues:0

create2deployer

Helper smart contract to make easier and safer usage of the `CREATE2` EVM opcode.

Language:TypeScriptLicense:MITStargazers:278Issues:0Issues:0

ethui

An Ethereum toolkit

Language:RustLicense:MITStargazers:203Issues:0Issues:0

companion-app

AI companions with memory: a lightweight stack to create and host your own AI companions

Language:TypeScriptLicense:MITStargazers:5737Issues:0Issues:0

sothis

Replay and track historical state

Language:RustLicense:MPL-2.0Stargazers:205Issues:0Issues:0

armory

A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities, or find-the-bug content. This is for the real researchooors.

Stargazers:393Issues:0Issues:0