Execute qualquer Skill no Manus
com um clique
com um clique
Execute qualquer Skill no Manus com um clique
ComeçarRepositório GitHub
aria
aria contém 8 skills coletadas de ZJU-PL, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.
skills coletadas
8
Stars
15
atualizado
2026-05-10
Forks
5
Cobertura ocupacional
Analistas de garantia de qualidade de software e testadoresAdministradores de redes e sistemas de computadorDesenvolvedores de softwareAnalistas de sistemas de computador
4 categorias ocupacionais · 100% classificado
explorador de repositórios
Skills neste repositório
criador/repositório/skill
skill
ocupação
descrição
atualizado
fstarmcp
Desenvolvedores de software
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-10
fstarverifier
Analistas de garantia de qualidade de software e testadores
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-10
krmlextraction
Desenvolvedores de software
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-10
projectsetup
Administradores de redes e sistemas de computador
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-10
proofdebugging
Analistas de garantia de qualidade de software e testadores
Systematic workflows for debugging F*/Pulse verification failures
2026-05-10
smtprofiling
Analistas de garantia de qualidade de software e testadores
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-10
sourcebuild
Administradores de redes e sistemas de computador
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-10
specreview
Analistas de sistemas de computador
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-10