Run any Skill in Manus
with one click

Run any Skill in Manus with one click

typednotes

GitHub creator profile

typednotes

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/typednotes largest repo: hale

skills collected

1

repositories

1

updated

2026-04-11

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · 2026-04-11

Software Developers

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills90updated 2026-04-11

100% of creator

skill

occupation

description

updated

haskell-mapping

software-developers

Look up the Haskell-to-Lean module mapping for the hale project. Use when porting a Haskell module, looking up which Lean module corresponds to a Haskell module, adding a new module to the mapping, or understanding the folder organization policy.

Showing 1 of 1 repositories

All repositories loaded

Run any Skill with one click