Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
aria
aria には ZJU-PL から収集した 8 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
収集済み skills
8
Stars
15
更新
2026-05-10
Forks
5
職業カバレッジ
4 件の職業カテゴリ · 100% 分類済み
リポジトリエクスプローラー
このリポジトリの skills
クリエイター/リポジトリ/skill
skill
職業分類
説明
更新
fstarmcp
ソフトウェア開発者
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-10
fstarverifier
ソフトウェア品質保証アナリスト・テスター
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-10
krmlextraction
ソフトウェア開発者
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-10
projectsetup
ネットワーク・コンピュータシステム管理者
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-10
proofdebugging
ソフトウェア品質保証アナリスト・テスター
Systematic workflows for debugging F*/Pulse verification failures
2026-05-10
smtprofiling
ソフトウェア品質保証アナリスト・テスター
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-10
sourcebuild
ネットワーク・コンピュータシステム管理者
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-10
specreview
コンピュータシステムアナリスト
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-10