ConsenSysDiligence / pythxLinks
A Python library for the MythX smart contract security analysis platform
☆31Updated last year
Alternatives and similar repositories for pythx
Users that are interested in pythx are comparing it to the libraries listed below
Sorting:
- Pool funds to bootstrap a Uniswap pair☆74Updated 5 years ago
- Optimism Dai and upgradable token bridge☆75Updated 2 years ago
- ☆53Updated 6 years ago
- ☆49Updated 2 years ago
- Core smart contracts for Keep3r Network v2☆40Updated last year
- [Optimism] Solidity mock contracts in JavaScript☆76Updated 4 years ago
- ☆34Updated 5 years ago
- ☆22Updated 3 years ago
- Gas Saver is a collection of smart contracts to save gas on Ethereum☆65Updated 3 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆54Updated last year
- HomeWork is an autonomous utility for finding, sharing and reusing home addresses for contracts.☆131Updated 2 years ago
- Guess what☆77Updated 2 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated 2 years ago
- ☆80Updated 2 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- Implementation of ERC 792: Arbitration Standard and tutorials for implementing arbitrable and arbitrator contracts☆30Updated 3 years ago
- ☆26Updated 2 years ago
- cadCAD model to simulate Balancer AMMs☆59Updated 4 years ago
- Element Protocol Smart Contracts☆104Updated last year
- Liquid Gas Token (LGT) for Ethereum☆76Updated 5 years ago
- Decentralized options☆20Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 4 years ago
- Reference implementations for ERC20 Flash Loans and Flash Mints☆129Updated 2 years ago
- ☆47Updated 3 years ago
- A set of simple solidity contracts to extend ENS functionality to other smart contracts☆37Updated 4 years ago
- ERC3156 wrappers for popular flash lenders☆73Updated 2 years ago
- Vyper version manager☆28Updated 11 months ago
- Smart contract implementing fixed point math operations using structs for type checking.☆31Updated 5 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 5 years ago
- All sources for the handful of Synthetix subgraphs indexed by The Graph☆60Updated last year