Pandora
2023-01-16
Deploy with confidence. Pandora enables property-based testing, fuzzing, and invariant testing for Clarity smart contracts on the Stacks blockchain.
Blog
Clarity model-based testing primer
2022-03-15
Advanced Clarity testing guide: verify any combination of contract functions using model-based testing techniques from QuickCheck, going beyond single-function property tests.
Clarity property-based testing primer
2022-03-05
A comprehensive guide to property-based testing in Clarity smart contracts using Clarinet, covering test generation, invariants, and advanced testing strategies.
Clarity Control flow & error handling - asserts!
2022-02-10
Learn how to refactor Clarity smart contracts from if statements to asserts! for cleaner control flow and error handling, based on examples from Clarity of Mind book.
Clarity "Hello, World!" deployed on Stacks
2022-01-28
Learn how to deploy a 'Hello, World!' smart contract on Stacks mainnet using Clarity, the decidable language that brings smart contracts to Bitcoin.
Clarity reference - Part 2 / Data-Space Primitives
2022-01-17
Learn about Clarity's data-space primitives: maps that store key-value pairs and the essential functions for getting, setting, inserting, and deleting data.
Clarity reference - Part 1 / Primitivess
2022-01-04
Introduction to Clarity smart contract language fundamentals: decidable programs that must terminate and interpreted code broadcasted as-is on the network.