ide-pluginstools
fstarverifier
Use fstar.exe to verify F* code and interpret the errors reported
maintainer
FStarLang
Updated 1/31/2026
Stars
3001
Forks
249
quick start
Installation and usage
Use fstar.exe to verify F* code and interpret the errors reported
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use fstarverifier