Platform for designing contracts and services, scripting language, library of building blocks, analysis and research.