Clarity for Visual Studio CodeClarity is a decidable smart contract language that optimizes for predictability and security, designed by Blockstack. Smart contracts allow developers to encode essential business logic on a blockchain. A programming language is decidable if you can know, with certainty, from the code itself what the program will do. Clarity is intentionally Turing incomplete as it avoids The Language Server Protocol (LSP) defines the protocol used between an editor or IDE and a language server that provides language features like auto complete, go to definition, find all references etc. This project aims at leveraging the decidability quality of Clarity and the LSP for providing some great insights about your code, without publishing your smart contracts to a blockchain. Quick StartDependenciesThis extension relies on a local installation of Clarinet, at or above version 0.22.0. To install Clarinet, please follow the instructions here. VSCodeYou can install the latest release of the plugin from the marketplace. Building From SourceAlternatively, both the server and the plugin can be installed from source. The first step is to ensure that you have Rust and the support software installed.
From there, you can clone this repository:
Test out your changes to the extension via the debugger in VS Code. From the Run and Debug view, select "Run Extension (Debug Build)" to spawn a new instance of VS Code with the extension installed. Then build and install:
Initial feature set
Additional desired features (not exhaustive, not prioritized)
|