Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
idris2-magical-utils
idris2-magical-utils contient 2 skills collectées depuis shogochiai, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
2
Stars
3
mis à jour
2026-01-26
Forks
0
Couverture métier
2 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
e2e-testing
Analystes en assurance qualité des logiciels et testeurs
End-to-End testing infrastructure for Idris2 projects - cross-chain (EVM/ICP), coverage, and CI integration
2026-01-26
idris2-dev
Développeurs de logiciels
Idris2 development guidelines including OOM avoidance, project conventions, and idris2-evm EVM compilation
2026-01-25