Certora/FoundryIntegration 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

Certora/FoundryIntegration

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/Certora/FoundryIntegration)

Close

Certora / FoundryIntegrationView on GitHubMore

• External links
• Readme badge

Certora integration with the Forge testing framework of Foundry

☆21Jun 8, 2023Updated 2 years ago

Alternatives and similar repositories for FoundryIntegration

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

• refcell / protec

  View on GitHub
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Jul 22, 2022Updated 3 years ago
• refcell / stdtests

  View on GitHub
  Extensive Tests with the Forge Standard Library,
  ☆20Apr 19, 2022Updated 3 years ago
• whitenois3 / mvrgda

  View on GitHub
  Variable Rate Gradual Dutch Auctions with Martingale Price Correction.
  ☆37Sep 9, 2022Updated 3 years ago
• refcell / rustbox

  View on GitHub
  Rust Primitives, Learnings, & Frameworks
  ☆17Mar 29, 2022Updated 3 years ago
• ZeframLou / foundry-docgen

  View on GitHub
  ☆50Jun 12, 2022Updated 3 years ago
• refcell / ambiel

  View on GitHub
  Lightweight, Gracefull Push + Pull Pattern Demo
  ☆20May 10, 2022Updated 3 years ago
• Certora / Documentation

  View on GitHub
  ☆18Feb 11, 2026Updated 2 weeks ago
• jtriley2p / poc-template

  View on GitHub
  ☆13Jul 21, 2022Updated 3 years ago
• whitenois3 / TINIH

  View on GitHub
  Produce probabilities for economy-based environments.
  ☆11Sep 10, 2022Updated 3 years ago
• kadenzipfel / hourglass

  View on GitHub
  ☆20Oct 20, 2022Updated 3 years ago
• adhusson / delegate-prank

  View on GitHub
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆18Sep 10, 2024Updated last year
• gakonst / save-noun11

  View on GitHub
  ☆15May 6, 2022Updated 3 years ago
• gakonst / forge-tracing-repro

  View on GitHub
  ☆10Mar 25, 2022Updated 3 years ago
• transmissions11 / morale

  View on GitHub
  More life to give on demand, are you ready?
  ☆32Nov 17, 2022Updated 3 years ago
• joejordan / CramBit

  View on GitHub
  A Solidity library designed to cram as many arbitrary values into as small a space as possible.
  ☆53Jan 6, 2023Updated 3 years ago
• JoranHonig / uniswap-v2-core

  View on GitHub
  🎛 Core smart contracts of Uniswap V2
  ☆16Oct 1, 2024Updated last year
• ZeroEkkusu / foundrycli.py

  View on GitHub
  Use `forge` and `cast` commands in Python scripts
  ☆19Apr 3, 2022Updated 3 years ago
• Bind / forge-jig

  View on GitHub
  Storage Slot Math Begone (Beta)
  ☆26Jan 2, 2023Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• horsefacts / promises

  View on GitHub
  ☆16Oct 29, 2022Updated 3 years ago
• pbshgthm / blacksmith

  View on GitHub
  Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…
  ☆102Jul 19, 2022Updated 3 years ago
• huff-language / huff-toolchain

  View on GitHub
  GitHub action that installs huffc
  ☆17Mar 22, 2023Updated 2 years ago
• 0xYYY / foundry-pre-commit

  View on GitHub
  🛠️🪝 Pre-commit hooks for foundry forge fmt and snapshot.
  ☆20Nov 14, 2022Updated 3 years ago
• 0xalpharush / gradual-dutch-auction-exploit

  View on GitHub
  ☆31Apr 6, 2022Updated 3 years ago
• PraneshASP / huff-goo-issuance

  View on GitHub
  GOO(Gradual Ownership Optimization) issuance implementation using Huff
  ☆34Oct 1, 2022Updated 3 years ago
• 0xbyte0 / tictactoe.sol

  View on GitHub
  An optimized tic-tac-toe game in solidity
  ☆26Aug 17, 2022Updated 3 years ago
• Philogy / gobbler-thrones

  View on GitHub
  ☆18Jan 8, 2023Updated 3 years ago
• Yashiru / open-huff

  View on GitHub
  Open huff is a library for secure Huff smart contract development.
  ☆21Nov 27, 2022Updated 3 years ago
• zkstonks / bytecodeauthmap

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

  View on GitHub
  unhacked challenge 2: schnoodle
  ☆21Sep 10, 2022Updated 3 years ago
• 0xalpharush / static-analysis-and-compilers

  View on GitHub
  Eclectic notes on static analysis and compilers
  ☆47Aug 4, 2022Updated 3 years ago
• alephao / solidity-benchmarks

  View on GitHub
  Benchmarks of popular contract implementations in solidity
  ☆105Jul 28, 2024Updated last year
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• x-soul-x / SafuNFT

  View on GitHub
  A minimal contract with a lock/redeem/refund mechanism.
  ☆23Feb 27, 2022Updated 4 years ago
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• faheelsattar / OP-Queue

  View on GitHub
  optimized queue datastructure
  ☆32Jul 26, 2022Updated 3 years ago
• sambacha / zen-foundry-template

  View on GitHub
  zen minimal foundry template
  ☆29Apr 1, 2025Updated 11 months ago
• ourzora / foundry-script-examples

  View on GitHub
  ☆44Jul 16, 2022Updated 3 years ago
• m1guelpf / dollar-auction.sol

  View on GitHub
  A dollar auction implementation in Solidity.
  ☆25May 17, 2022Updated 3 years ago