geas

ファイルの拡張子は .geas です。

geas は、プログラムについての主張を一つずつ、動いているプログラム（コマンドライン、HTTP のサービス、ブラウザのページ）に当てて確かめ、差分を渡せば、それがどの主張にかかわるかを答えます。OpenSpec の仕様を渡せば、同じ名前の主張で確かめていないシナリオを挙げます。

サービスが答えたあとで終わるジョブのように、あとで出る結果は、主張に書いた時間まで待って確かめます。

geas の文書はリポジトリにあります：README。