Themis Contract is a command line-based tool to help with legal contracting. It currently aims to:

1. Make contracting modular (in a decentralized way).
2. Make contracting more programmatic (and eventually executable) than is traditionally the case.
3. Make managing contracts more like managing software (so we can leverage the value that software development processes offer, like version control, continuous integration, etc.).

Disclaimer

Themis Contract is considered alpha quality at present. No semantic versioning will be used just yet. Breaking changes can be released at any time. For the original NodeJS-based prototype of Themis Contract, please see the prototype/v1 branch.

Use homebrew to Install from the informal.systems tap:

brew install informalsystems/pkgs/themis-contract

In order to install Themis Contract locally, you will need:

• Go 1.14+ (and supporting tooling, like make)
• pandoc
• pandoc-crossref
• Any LaTeX distribution that includes pdflatex (such as MacTeX for macOS)
• dhall-to-json
• Git

Once you have the requirements installed locally, you can simply download the latest release binary for your platform (right now we only build for Linux and MacOS) and put it somewhere in your path (e.g. /usr/local/bin/themis-contract).

To install from source:

git clone https://github.com/informalsystems/themis-contract.git
cd themis-contract
# once-off
make deps
# Optionally setting THEMIS_INSTALL_DIR to your desired location
# (default is to /usr/local/bin/)
THEMIS_INSTALL_DIR=~/.local/bin make install

See the following tutorials for details as to how to set up and use Themis Contract to get the most out of it:

• Setting up Themis Contract
• Your first contract
• Contracting workflows
• Formatting guide

More tutorials will be coming soon!

Since Themis Contract is just a single standalone binary, uninstalling just involves deleting that binary:

rm /usr/local/bin/themis-contract

# Optional: to delete all Themis Contract-related data
rm -rf ~/.themis/contract

See CONTRIBUTING.md.

Copyright 2020 Informal Systems Inc.

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.