Smart Contracts Python Packages

eip712

Message classes for typed structured data hashing and signing in Ethereum

eth-ape

Build and explore on-chain with Python

ethpm-types

Implementation of EIP-2678

mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

evm-trace

Ethereum Virtual Machine transaction tracing tool

certora-cli

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

certora-cli-alpha-master

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

aptos-sdk

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

ape-alchemy

Alchemy network provider plugin for the Ape Framework

ape-foundry

Foundry network provider for the Ape Framework

w3multicall

Python interface for web3 multicall

ic-basilisk

Python CDK for the Internet Computer

ocean-contracts

🐙 Smart contracts for Ocean Protocol

ape-solidity

Solidity compiler plugin for the Ape Framework

dxsp

A python defi swap package (DeX SwaP)

pyteal

Algorand Smart Contracts in Python

ape-etherscan

Etherscan explorer plugin using EVM-based networks for the Ape Framework

certora-cli-beta

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

ape-vyper

Vyper compiler plugin for the Ape Framework, using VVM

pythx

A Python library for the MythX smart contract security analysis platform

certora-cli-beta-mirror

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

populus

The Ethereum development framework with the most cute animal pictures

ape-hardhat

Hardhat network provider for the Ape Framework

dipdup

Modular framework for creating selective indexers and featureful backends for dapps