GitHub repository: rweda/ava-verify
Primary language: JavaScript
Description: JSVerify plugin for AVA