Validate a contract

To verify your contracts, run the clarinet check command inside your project.

clarinet check

Clarinet uses the Clarinet.toml file to locate and analyze all the contracts in the project. If the Clarity code is valid, the command will indicate success with the response below.

✔ 2 contracts checked

You may also perform a syntax-check on a single file by using the command below.

clarinet check <path/to/file.clar>

Clarinet reports syntactical errors, but does not perform type-checking or other semantic checks as that would require the full context for a comprehensive analysis.