fstar-verification
Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified code extraction to OCaml, F#, C, WebAssembly, and Assembly
Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security
Installation for Agentic Skill
View all platforms →skilz install manutej/fstar-labs/fstar-verificationskilz install manutej/fstar-labs/fstar-verification --agent opencodeskilz install manutej/fstar-labs/fstar-verification --agent codexskilz install manutej/fstar-labs/fstar-verification --agent geminiFirst time? Install Skilz: pip install skilz
Works with 14 AI coding assistants
Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...
Extract and copy to ~/.claude/skills/ then restart Claude Desktop
git clone https://github.com/manutej/fstar-labscp -r fstar-labs/skill ~/.claude/skills/Need detailed installation help? Check our platform-specific guides:
Related Agentic Skills
pytest-config
by athola
Standardized pytest configuration patterns for plugin development. Reducesduplication across parseltongue, pensive, sanctum, and other plugins.Trig...
shell-testing-framework
by manutej
Shell script testing expertise using bash test framework patterns from unix-goto, covering test structure (arrange-act-assert), 4 test categories, ...
markdownlint-custom-rules
by TheBushidoCollective
Create custom linting rules for markdownlint including rule structure, parser integration, error reporting, and automatic fixing.
feature-dev
by secondsky
Automate 7-phase feature development with specialized agents (code-explorer, code-architect, code-reviewer). Use for multi-file features, architect...
Agentic Skill Details
- Repository
- fstar-labs
- Type
- Technical
- Meta-Domain
- development
- Primary Domain
- testing
- Market Score
- 12
Browse Category
More development Agentic SkillsReport Security Issue
Found a security vulnerability in this agent skill?
Report Security Issue
Thank you for helping keep SkillzWave secure. We'll review your report and take appropriate action.
Note: For critical security issues that require immediate attention, please also email security@skillzwave.ai directly.