CHPB

Coxy Haskell Plutus Builder

Cardano Smart Contract Blueprint Studio

Compact

1. Search Smart Contract Or Industry

2. Smart Contract Industry

Select smart contract industry

3. Create Custom Smart Contract

Create custom smart contract / industry

Custom Contract Title

Contract title (for UI / Haskell module)

Custom Datum

Add as many datum fields as you want. Each field has a name and a Plutus type.

Custom Redeemer

Add one or more redeemer constructors (e.g. PaySeller, RefundBuyer).

Coxy Datum

Enable Custom Datum Fields (advanced users)

Add extra datum fields not covered by the templates. These will appear in the datum JSON as customFields.

Generate parameter datum type (CoxyParamDatum)
When enabled, the validator type becomes: CoxyParamDatum -> CoxyDatum -> CoxyRedeemer -> ScriptContext -> Bool. Define fields below for CoxyParamDatum.

Fields for CoxyParamDatum (e.g. cpBuyer :: PubKeyHash, cpAmount :: Integer).

Coxy Redeemer

Enable Custom Redeemer Actions (advanced-users)

Datum JSON

Redeemer JSON

Haskell mkValidator Preview

ValidatorLogic.hs

ValidatorLogicSpec.hs

ValidatorLogicFormalSpec.hs

MIT Licence @Coxygen Global (Pty) Ltd 2025 Github