Skip to content

All

    Repositories list

    • An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
      Python
      Apache License 2.0
      3.9k000Updated Aug 21, 2026Aug 21, 2026
    • A growing collection of MCP servers bringing offensive security tools to AI assistants. Nmap, Ghidra, Nuclei, SQLMap, Hashcat and more.
      Python
      MIT License
      9777052Updated Apr 8, 2026Apr 8, 2026
    • sol-azy

      Public
      Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs
      Python
      Other
      1710991Updated Mar 2, 2026Mar 2, 2026
    • Summary generator of DAML contracts access-control
      Rust
      0400Updated Feb 12, 2026Feb 12, 2026
    • SBPF virtual machine
      Rust
      Apache License 2.0
      371100Updated Aug 11, 2025Aug 11, 2025
    • Benchmarking 12 LLMs for vulnerability research
      Python
      1800Updated Jul 21, 2025Jul 21, 2025
    • Fuzzinglabs's audits, publications, workshops and reports
      23000Updated May 9, 2025May 9, 2025
    • Sierra decompiler and analyzer
      Rust
      MIT License
      21210Updated Apr 22, 2025Apr 22, 2025
    • Cairo/Starknet smart contract fuzzer
      Rust
      GNU Affero General Public License v3.0
      1413060Updated Apr 22, 2025Apr 22, 2025
    • thoth

      Public archive
      Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
      Python
      GNU Affero General Public License v3.0
      2427280Updated Apr 22, 2025Apr 22, 2025
    • HTML
      0100Updated Feb 13, 2025Feb 13, 2025
    • holo

      Public
      Holo is a suite of routing protocols designed to support high-scale and automation-driven networks.
      Rust
      MIT License
      47100Updated Feb 11, 2025Feb 11, 2025
    • A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
      Rust
      Apache License 2.0
      51000Updated Dec 18, 2024Dec 18, 2024
    • Starlark
      MIT License
      0000Updated Dec 18, 2024Dec 18, 2024
    • Rust
      1300Updated Dec 15, 2024Dec 15, 2024
    • sputnikvm

      Public
      Aurora EVM implementation based on fork of SputnikVM.
      Rust
      Apache License 2.0
      14000Updated Sep 23, 2024Sep 23, 2024
    • Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
      Rust
      Apache License 2.0
      159611Updated Jul 29, 2024Jul 29, 2024
    • Sui smart contract fuzzer
      Rust
      GNU Affero General Public License v3.0
      105310Updated Mar 17, 2024Mar 17, 2024
    • sui

      Public
      Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming langu…
      Rust
      Apache License 2.0
      12k000Updated Mar 7, 2024Mar 7, 2024
    • A Rust implementation of StarkNet
      Rust
      Apache License 2.0
      52000Updated Mar 1, 2024Mar 1, 2024
    • cairo-rs

      Public
      cairo-rs is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a ce…
      Rust
      Apache License 2.0
      224000Updated Mar 1, 2024Mar 1, 2024
    • octopus

      Public archive
      Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
      Python
      MIT License
      90494111Updated Nov 24, 2023Nov 24, 2023
    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      Apache License 2.0
      731000Updated Apr 20, 2023Apr 20, 2023
    • aleovera

      Public
      Aleo analyzer and disassembler
      Python
      GNU Affero General Public License v3.0
      6900Updated Feb 28, 2023Feb 28, 2023
    • cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
      Rust
      MIT License
      6000Updated Dec 27, 2022Dec 27, 2022
    • About as basic of a mutator as you can get, but it does the trick in most situations
      Rust
      Apache License 2.0
      13000Updated Dec 7, 2022Dec 7, 2022
    • snarkVM

      Public
      A Virtual Machine for Zero-Knowledge Executions
      Rust
      GNU General Public License v3.0
      1.6k300Updated Sep 6, 2022Sep 6, 2022
    • A fast Rust-based safe and thead-friendly grammar-based fuzz generator
      Rust
      MIT License
      22300Updated Aug 2, 2022Aug 2, 2022
    • fuzzilli

      Public
      A JavaScript Engine Fuzzer
      Swift
      Apache License 2.0
      368200Updated Mar 31, 2022Mar 31, 2022
    • A toy Fuzzer for wasm fuzzing based on fuzzilli
      Swift
      Apache License 2.0
      8100Updated Mar 30, 2022Mar 30, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.