An IDE for the formal contract specification Symboleo is created using Xtext DSL generator. This provides a graphical contract editor and a parser(syntax analysis). An autocompletion service opens up a popup and suggests possible types and variables. The written contract is checked with Symboleo's EBNF grammar per edition, and syntax errors are highlighted.

The editor supports basic operations including copy, paste, new, open and etc. Advanced operations such as scoping and code-generation features are under development.

The tool and detailed information are available in our GitHub.