Medjai
by Veridise
A Symbolic Execution Tool for Cairo
AI summary
Smart contract validator
A symbolic execution tool for verifying the correctness of smart contracts written in Cairo.
- stars
- 49
- forks
- 0
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
Smart contract challenges
A set of challenges to learn offensive security of smart contracts on Starknet using the Cairo language.
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Smart Contract Fuzzer
A tool for testing smart contract security by generating random inputs and executing them on a contract to identify vulnerabilities.
Smart contract language syntax highlighter
A package providing syntax highlighting for Smart Contract languages Solidity, Vyper, Yul, and StarkNet Cairo in the SublimeText editor.
a16z/halmos835
Contract tester
A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts
Smart contract library
A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment.
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Smart contract development suite
A set of tools to help develop and test smart contracts on the Ethereum blockchain
Smart contract compiler
Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
Smart contract analyzer
A security scanner for Ethereum smart contracts
Smart contract builder
A Haskell-based tool for building and managing smart contracts on the Cardano blockchain
Smart contract auditor
A blockchain auditing service designed to identify and fix security vulnerabilities in smart contracts.
