Jeden Skill in Manus ausführen
mit einem Klick
mit einem Klick
Jeden Skill in Manus mit einem Klick ausführen
LoslegenGitHub-Repository
aria
aria enthält 8 gesammelte Skills von ZJU-PL, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.
gesammelte Skills
8
Stars
15
aktualisiert
2026-05-10
Forks
5
Berufsabdeckung
Softwarequalitätssicherungsanalysten und -testerNetzwerk- und ComputersystemadministratorenSoftwareentwicklerComputersystemanalytiker
4 Berufskategorien · 100% klassifiziert
Repository-Explorer
Skills in diesem Repository
Creator/Repository/Skill
Skill
Beruf
Beschreibung
Aktualisiert
fstarmcp
Softwareentwickler
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-10
fstarverifier
Softwarequalitätssicherungsanalysten und -tester
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-10
krmlextraction
Softwareentwickler
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-10
projectsetup
Netzwerk- und Computersystemadministratoren
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-10
proofdebugging
Softwarequalitätssicherungsanalysten und -tester
Systematic workflows for debugging F*/Pulse verification failures
2026-05-10
smtprofiling
Softwarequalitätssicherungsanalysten und -tester
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-10
sourcebuild
Netzwerk- und Computersystemadministratoren
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-10
specreview
Computersystemanalytiker
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-10