Useful component to build VS Code extensions for verifiers. - View it on GitHub