Smart Contracts Python Packages

eip712

Message classes for typed structured data hashing and signing in Ethereum

aptos-sdk

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

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

evm-trace

Ethereum Virtual Machine transaction tracing tool

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

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.

ethpm-types

Implementation of EIP-2678

eth-ape

Build and explore on-chain with Python

tree-sitter-solidity

Solidity grammar for tree sitter

pyteal

Algorand Smart Contracts in Python

ape-foundry

Foundry network provider for the Ape Framework

w3multicall

Python interface for web3 multicall

ape-alchemy

Alchemy network provider plugin 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-etherscan

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

ocean-contracts

🐙 Smart contracts for Ocean Protocol

dxsp

A python defi swap package (DeX SwaP)

ape-vyper

Vyper compiler plugin for the Ape Framework, using VVM

ape-solidity

Solidity compiler plugin for the Ape Framework

solflow

Per-entry-point, navigable call-graph visualizations of Solidity repositories — for Web3 security auditors.

populus

The Ethereum development framework with the most cute animal pictures

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

ape-arbitrum

Arbitrum ecosystem plugin for the Ape Framework

ape-polygon

Polygon ecosystem plugin for the Ape Framework