{"domain":"harmoniclabs.tech","status":"valid","tier":"listed","authority":45,"verified":false,"title":"Pebble","summary":"Pebble is a standalone smart-contract language for Cardano, targeting Untyped Plutus Core (UPLC). It compiles `contract` declarations (with optional `state` variants) into validators that fit the script-purpose dispatch model (`spend` / `mint` / `certify` / `withdraw` / `propose` / `vote`).","country":"US","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"US","llms_txt":"https://pluts.harmoniclabs.tech/llms.txt","llms_full_txt":"https://pluts.harmoniclabs.tech/llms-full.txt","last_checked":"2026-10-27T13:35:19.336Z","agent_terms":null,"categories":["developer-tools","crypto-web3"],"capabilities":[],"inferred_tags":["pebble language","cardano","plutus core","smart contracts","uplc"],"audience":"developers","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Pebble, a smart-contract language for Cardano compiling to Untyped Plutus Core, with installation, syntax and contract reference docs.","llms_txt_cached":"https://agentwebmap.com/v1/domain/harmoniclabs.tech/llms.txt","agentic":"documentation","section_keys":["cardano-specific-structures-onchain-api-types","conceptual-primers","end-to-end-examples","language","out-of-band","prelude-types","reference-machinery-use-these-for-code-generation","standard-library-std"],"section_partial":false,"section_indexed_at":"2026-10-27T13:35:20.761Z"}