GitHub 仓库
proof-copilot
proof-copilot 收录了来自 FStarLang 的 8 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。
已收集 skills
8
Stars
8
更新
2026-05-11
Forks
4
职业覆盖
3 个职业分类 · 已分类 100%
仓库浏览
这个仓库中的 skills
创作者/仓库/skill
skill
职业分类
描述
更新
fstarmcp
软件开发工程师
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-11
fstarverifier
软件质量保证分析师与测试员
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-11
krmlextraction
软件开发工程师
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-11
projectsetup
网络与计算机系统管理员
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-11
proofdebugging
软件质量保证分析师与测试员
Systematic workflows for debugging F*/Pulse verification failures
2026-05-11
smtprofiling
网络与计算机系统管理员
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-11
sourcebuild
软件开发工程师
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-11
specreview
软件质量保证分析师与测试员
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-11