A model-based end-to-end testing framework for Cosmos SDK blockchains, using TLA+ models to generate and execute test scenarios.
Atomkraft Cosmos is a community-driven test suite for Cosmos SDK blockchains, built on the Atomkraft framework. It enables automated, model-based end-to-end testing by generating concrete test scenarios from abstract TLA+ specifications, allowing developers to validate core blockchain functionality efficiently.
Atomkraft Cosmos emphasizes rigorous, automated validation of blockchain behavior through formal models, aiming to deliver high test coverage and reliability for Cosmos SDK modules with minimal manual effort.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.