Smart Contracts Python Packages

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

eip712

Message classes for typed structured data hashing and signing in Ethereum

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

eth-ape

Build and explore on-chain with Python

ethpm-types

Implementation of EIP-2678

tree-sitter-solidity

Solidity grammar for tree sitter

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

ape-foundry

Foundry network provider for the Ape Framework

pyteal

Algorand Smart Contracts in Python

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-alchemy

Alchemy network provider plugin for the Ape Framework

dxsp

A python defi swap package (DeX SwaP)

ocean-contracts

🐙 Smart contracts for Ocean Protocol

ape-etherscan

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

ape-solidity

Solidity compiler plugin for the Ape Framework

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

w3multicall

Python interface for web3 multicall

ape-vyper

Vyper compiler plugin for the Ape Framework, using VVM

ape-polygon

Polygon ecosystem plugin for the Ape Framework

pythx

A Python library for the MythX smart contract security analysis platform

ic-basilisk

Python CDK for the Internet Computer

ape-hardhat

Hardhat network provider for the Ape Framework

dipdup

Modular framework for creating selective indexers and featureful backends for dapps