Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
aria
aria contiene 8 skills recopiladas de ZJU-PL, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
8
Stars
15
actualizado
2026-05-10
Forks
5
Cobertura ocupacional
Analistas de garantía de calidad de software y probadoresAdministradores de redes y sistemas informáticosDesarrolladores de softwareAnalistas de sistemas informáticos
4 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
fstarmcp
Desarrolladores de software
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-10
fstarverifier
Analistas de garantía de calidad de software y probadores
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-10
krmlextraction
Desarrolladores de software
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-10
projectsetup
Administradores de redes y sistemas informáticos
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-10
proofdebugging
Analistas de garantía de calidad de software y probadores
Systematic workflows for debugging F*/Pulse verification failures
2026-05-10
smtprofiling
Analistas de garantía de calidad de software y probadores
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-10
sourcebuild
Administradores de redes y sistemas informáticos
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-10
specreview
Analistas de sistemas informáticos
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-10