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

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

GitHub 저장소

lean-genius

lean-genius에는 rjwalters에서 수집한 skills 2개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.

rjwalters 프로필 GitHub에서 보기

수집된 skills

2

Stars

6

업데이트

2026-07-17

Forks

0

직업 범위

소프트웨어 개발자

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

저장소 탐색

이 저장소의 skills

제작자/저장소/skill

skill

직업 분류

설명

업데이트

소프트웨어 개발자

General repository hygiene and environment tools — audits, cleanup, branch/worktree pruning, link checking, and cloud dev sessions

mathlib-contribution

소프트웨어 개발자

Use this skill when preparing a Lean 4 file in proofs/Proofs/ for upstream submission to Mathlib (leanprover-community/mathlib4). It bundles a style-and-naming scan, a curated gotchas catalog, and the trust-but-verify auto-edit rules demonstrated in Terence Tao's "AI with Lean" workflow (https://www.youtube.com/watch?v=l3SCK6V-BFw).

원클릭으로 모든 스킬 실행