LeanGovt is an open source toolkit for the implementation of SMART contracts in government administration. The first implementation of LeanGovt is aimed at the topic of regulation of finance, insurance and equity markets.