Property Testing Python Packages

sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/

wickra-strategy-ci

Jest for trading strategies: golden-pin the BacktestReport, catch regressions in CI, property-test against fuzzed data — usable in all 10 languages plus a composite GitHub Action.

ordeal

Automated chaos testing for Python — fault injection, property assertions, and stateful exploration

boofun

A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more

mcp-wallfacer

Runtime testing harness for MCP servers: fuzz tools, validate schemas, run YAML invariants and multi-step sequences, ship SARIF to CI. 17 embedded packs · stdio + HTTP · 5 install paths.