security-alliance/frameworks external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

security-alliance/frameworks

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/security-alliance/frameworks)

Close

security-alliance / frameworksView on GitHubMore

• External links
• Readme badge

Official repository for the Security Frameworks by SEAL. Currently under development, not a release.

☆70Mar 4, 2026Updated this week

Alternatives and similar repositories for frameworks

Users that are interested in frameworks are comparing it to the libraries listed below

• protocol-security / howtomultisig

  View on GitHub
  ☆27Feb 26, 2026Updated last week
• redtrama / awesome-halmos

  View on GitHub
  List of Halmos resources.
  ☆59Feb 14, 2025Updated last year
• hrkrshnn / crunchvanity

  View on GitHub
  ☆40Aug 23, 2022Updated 3 years ago
• AmadiMichael / MiMCSponge-Huffidity

  View on GitHub
  Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.
  ☆10Sep 8, 2023Updated 2 years ago
• MrToph / hats-finance-ctf

  View on GitHub
  ☆10May 7, 2022Updated 3 years ago
• 0xPhaze / clones-with-immutable-args-comparison

  View on GitHub
  ☆12Sep 25, 2022Updated 3 years ago
• thingtheory / vote-escrow-nft

  View on GitHub
  ☆11Jan 25, 2022Updated 4 years ago
• refcell / c4box

  View on GitHub
  Code 4rena Sandbox & Exploits
  ☆14Mar 1, 2022Updated 4 years ago
• Philogy / safeconsole

  View on GitHub
  ☆51May 12, 2023Updated 2 years ago
• Vectorized / bebe

  View on GitHub
  Basic EOA Batch Executor (BEBE)
  ☆34May 7, 2025Updated 10 months ago
• Certora / Quorum

  View on GitHub
  ☆14Oct 29, 2025Updated 4 months ago
• z0r0z / veSUSHI

  View on GitHub
  Vote-escrowed SUSHI built on ERC-4626 vault standard.
  ☆15Apr 26, 2022Updated 3 years ago
• tanim0la / stack-pasta

  View on GitHub
  A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…
  ☆14Apr 25, 2024Updated last year
• rust-ethereum / enr

  View on GitHub
  Ethereum Node Record (ENR) rust implementation
  ☆14Aug 4, 2022Updated 3 years ago
• SamWilsn / Bribe3074

  View on GitHub
  ☆12May 15, 2025Updated 9 months ago
• primitivefinance / pso-sol

  View on GitHub
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Feb 8, 2023Updated 3 years ago
• OpenZeppelin / accesscontrol-explorer

  View on GitHub
  Work in progress explorer for AccessControl roles
  ☆14Apr 29, 2023Updated 2 years ago
• noir-lang / noir_json_parser

  View on GitHub
  ☆16Feb 19, 2026Updated 2 weeks ago
• colinnielsen / ecrecover-noir

  View on GitHub
  A Noir circuit that mimics Solidity's ecrecover
  ☆64Feb 12, 2026Updated 3 weeks ago
• stakewise / bls-horcrux

  View on GitHub
  The tool for creating a threshold BLS key in a trustless manner.
  ☆29Apr 24, 2023Updated 2 years ago
• fredlacs / c2c-nft-bridge

  View on GitHub
  ☆34Feb 1, 2022Updated 4 years ago
• wavey0x / safesmith

  View on GitHub
  A Safe wrapper around Foundry projects
  ☆35Apr 17, 2025Updated 10 months ago
• forefy / eburger

  View on GitHub
  eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
  ☆36Nov 22, 2025Updated 3 months ago
• axiom-crypto / uniswap-v3-oracles

  View on GitHub
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38May 11, 2023Updated 2 years ago
• banteg / vmtrace

  View on GitHub
  evm-trace vmtrace demo and playground
  ☆17Jul 25, 2022Updated 3 years ago
• odyslam / accumulator-cli

  View on GitHub
  A cli version of the Nomad Sparse Merklee Tree Accumulator
  ☆19May 19, 2022Updated 3 years ago
• OpenZeppelin / openzeppelin-mcp

  View on GitHub
  Model Context Protocol Servers Repository for OpenZeppelin products
  ☆23Feb 26, 2026Updated last week
• defi-wonderland / natspec-smells

  View on GitHub
  👃Automatically identify missing or incomplete natspec
  ☆92Jun 30, 2025Updated 8 months ago
• Mikerah / solidity-bugs-and-vulns-in-yul

  View on GitHub
  ☆91Feb 15, 2021Updated 5 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• kassandraoftroy / eth-stealth-addresses

  View on GitHub
  stealth addresses library implementing ERC-5564 over secp256k1 in rust
  ☆37Sep 23, 2023Updated 2 years ago
• sigp / multiproof

  View on GitHub
  Generating Inputs for OZ's MultiProof and SingleProof
  ☆39Nov 18, 2024Updated last year
• Rjected / devp2p-rs

  View on GitHub
  devp2p implementation from akula
  ☆15Mar 6, 2023Updated 3 years ago
• omurovec / ethcc5-hackathon

  View on GitHub
  ERC-4626 compatible CryptoSwap pool
  ☆18Jul 25, 2022Updated 3 years ago
• morpho-org / create-safe-tx

  View on GitHub
  📜 Useful script to build complex Gnosis Safe transactions involving Gnosis Multisend and/or Zodiac modifiers
  ☆18Jan 22, 2026Updated last month
• peekaboo-dex / contracts

  View on GitHub
  Blind auctions done better
  ☆15Nov 6, 2022Updated 3 years ago
• rymnc / poseidon-huff

  View on GitHub
  ☆18Feb 25, 2023Updated 3 years ago
• MariusVanDerWijden / tx-fuzz

  View on GitHub
  ☆120Apr 16, 2025Updated 10 months ago
• zkstonks / bytecodeauthmap

  View on GitHub
  Solidity bytecode mapping for caller authorization
  ☆20Jul 12, 2022Updated 3 years ago