property-testing
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Automated chaos testing for Python — fault injection, property assertions, and stateful exploration
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.
A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more
