/.github/{scripts,workflows}: add correctness workflows

/.github/{scripts,workflows}: add correctness workflows #123