ConsenSysDiligence / mythx-vscodeLinks
☆10Updated last year
Alternatives and similar repositories for mythx-vscode
Users that are interested in mythx-vscode are comparing it to the libraries listed below
Sorting:
- The plugin allows executing security check via MythX in Remix IDE☆17Updated 2 years ago
- CLI client for the MythX API☆20Updated 2 years ago
- Smart contract auditing assistant tool for Truffle Framework.☆18Updated 2 years ago
- Tellor User Contracts☆28Updated 3 weeks ago
- a MythX API client wrapper☆17Updated 9 months ago
- All the money legos. This is not meant for production use.☆32Updated last year
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆40Updated 4 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- ☆40Updated 3 months ago
- ☆27Updated 2 years ago
- ☆29Updated last year
- ☆15Updated 2 years ago
- A Twitter bot for interacting with a TCR without knowing what a blockchain is☆28Updated 6 years ago
- A curated collection of links for blockchain subscriptions and recurring payments.☆29Updated 6 years ago
- Token List for the Avalanche Bridge☆26Updated last year
- gDAI - Gas less DAI transfers by using GSN, Fulcrum and KyberNetwork☆32Updated 7 months ago
- Analysis tool for Solidity smart contracts. Prototype.☆36Updated last year
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- ☆13Updated 3 years ago
- Prettier config optimized to reduce AST churn & conform to solidity spec☆30Updated 2 years ago
- Gazelle = Generalized Elle. A framework for reusable programming language semantics.☆18Updated 3 years ago
- Visualize your Aragon DAO Templates☆29Updated last year
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- Test gas cost of multiple solidity contracts☆9Updated 3 years ago
- ☆14Updated 3 years ago
- Compound Finance sandbox for easy deployment with Truffle☆10Updated 4 years ago
- Geth, Truffle,Drizzle web3.js,ethers.js, smart contract patterns and solidity assembly https://bcdv1013.surge.sh/☆1Updated 2 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
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆55Updated 11 months ago