Stellar Python Packages

stellar-sdk

Stellar client library for the Python language

142K 369 180

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

75K 310 40

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

54K 310 40

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

10K 310 40

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

6K 310 40

pysme-astro

Python wrapper for Spectroscopy Made Easy

6K 7 1

vplanet

The Virtual Planet Simulator

4K 163 58

agentpay-x402

AgentPay - The economic-intelligence layer for AI agents — an x402 gateway that prices, caps, and receipts agent data spend. 17 free tools + verified_route, the buyer-side x402 trust oracle. USDC on Base or Stellar.

2K 1 0

stellar-model

Parse the raw Stellar data into Python models.

2K 15 6

certora-cli-alpha-oz-publish-test

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

1K 310 40

django-polaris

An extendable Django app for building modular Stellar services

1K 97 71

stellar-base

Stellar client library for the Python language

728 369 180

kin-sdk

Kin SDK for Python

565 26 11

certora-cli-alpha-rahav-cert-9297-formatter-publish

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

472 310 40

strledger

Ledger Hardware Wallet Stellar Python bindings.

351 0 0

stellar-observatory

Python package for analyzing the Stellar network

335 14 5

soroban

API and CLI for Soroban contracts in Python

299 7 2

certora-cli-alpha-oz-license

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

288 310 40

web3data

A Python library for the amberdata.io API

284 9 2

stellar-contract-bindings

CLI tool designed to generate language bindings for Stellar Soroban smart contracts.

270 11 2

certora-cli-alpha-yoav-real-destructive

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

239 310 40

certora-cli-alpha-abakst-auto-erc7201-storage-extension

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

234 310 40

certora-cli-alpha-shelly-vyper04curvetaketwo

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

232 310 40

certora-cli-alpha-rahav-cert-9616-fix-map

Runner for the Certora Prover

220 310 40