Run any Skill in Manus
with one click

Run any Skill in Manus with one click

tdwag123

GitHub creator profile

tdwag123

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

github/tdwag123 largest repo: Vibe-Proving-Skills

skills collected

1

repositories

1

updated

2026-04-23

repository map

Where the skills live

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

Vibe-Proving-Skills

1 skills · 2026-04-23

Software Developers

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

Vibe-Proving-Skills

1 skills30updated 2026-04-23

100% of creator

skill

occupation

description

updated

lean4-guidelines

software-developers

Lean 4 formalization and proving workflow. Use for theorem formalization, definition design, proof construction, and proof repair with MCP self-check and Mathlib-first reuse.

Showing 1 of 1 repositories

All repositories loaded

Run any Skill with one click