Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
idris2-magical-utils
idris2-magical-utils contains 2 collected skills from shogochiai, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
3
updated
2026-01-26
Forks
0
Occupation coverage
2 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
e2e-testing
software-quality-assurance-analysts-and-testers
End-to-End testing infrastructure for Idris2 projects - cross-chain (EVM/ICP), coverage, and CI integration
2026-01-26
idris2-dev
software-developers
Idris2 development guidelines including OOM avoidance, project conventions, and idris2-evm EVM compilation
2026-01-25