Back to all repositories
FS
proof-copilot
by FStarLang
A Copilot-CLI Plugin for F* and Related Tools
11stars5forks0watchers
Available plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.