Ejecuta cualquier Skill en Manus
con un clic
con un clic
Ejecuta cualquier Skill en Manus con un clic
ComenzarRepositorio de GitHub
idris2-magical-utils
idris2-magical-utils contiene 2 skills recopiladas de shogochiai, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.
skills recopiladas
2
Stars
3
actualizado
2026-01-26
Forks
0
Cobertura ocupacional
2 categorías ocupacionales · 100% clasificado
explorador de repositorios
Skills en este repositorio
creador/repositorio/skill
skill
ocupación
descripción
actualizado
e2e-testing
Analistas de garantía de calidad de software y probadores
End-to-End testing infrastructure for Idris2 projects - cross-chain (EVM/ICP), coverage, and CI integration
2026-01-26
idris2-dev
Desarrolladores de software
Idris2 development guidelines including OOM avoidance, project conventions, and idris2-evm EVM compilation
2026-01-25