Manus에서 모든 스킬 실행
원클릭으로

원클릭으로 Manus에서 모든 스킬 실행

tdwag123

GitHub 제작자 프로필

tdwag123

1개 GitHub 저장소에서 수집된 1개 skills를 저장소 단위로 보여줍니다.

github/tdwag123 가장 큰 저장소: Vibe-Proving-Skills

수집된 skills

1

저장소

1

업데이트

2026-04-23

저장소 지도

skills가 있는 위치

수집된 skill 수가 많은 주요 저장소와 이 제작자 카탈로그 내 비중, 직업 분포를 보여줍니다.

Vibe-Proving-Skills

skills 1개 · 2026-04-23

소프트웨어 개발자

직업 카테고리 1개 · 100% 분류됨

저장소 탐색

저장소와 대표 skills

제작자/저장소/skill

Vibe-Proving-Skills

skills 1개302026-04-23 업데이트

제작자 내 100%

skill

직업 분류

설명

업데이트

lean4-guidelines

소프트웨어 개발자

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.

저장소 1개 중 1개 표시

모든 저장소를 표시했습니다

원클릭으로 모든 스킬 실행