This is a tool to make it easy to try out Michelson, Tezos's low-level smart contract language. Type or paste in a Michelson contract and click "Typecheck" to check its validity and see a stacktrace (generated by a Tezos node running on the server). You can find example Michelson contracts on michelson-lang.com and in the Tezos Github.