Dépôt GitHub
proof-copilot
proof-copilot contient 8 skills collectées depuis FStarLang, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
8
Stars
8
mis à jour
2026-05-11
Forks
3
Couverture métier
Analystes en assurance qualité des logiciels et testeursDéveloppeurs de logicielsAdministrateurs de réseaux et de systèmes informatiques
3 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
fstarmcp
Développeurs de logiciels
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-11
fstarverifier
Analystes en assurance qualité des logiciels et testeurs
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-11
krmlextraction
Développeurs de logiciels
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-11
projectsetup
Administrateurs de réseaux et de systèmes informatiques
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-11
proofdebugging
Analystes en assurance qualité des logiciels et testeurs
Systematic workflows for debugging F*/Pulse verification failures
2026-05-11
smtprofiling
Administrateurs de réseaux et de systèmes informatiques
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-11
sourcebuild
Développeurs de logiciels
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-11
specreview
Analystes en assurance qualité des logiciels et testeurs
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-11