Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기GitHub 저장소
ziku
ziku에는 takoeight0821에서 수집한 skills 2개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
수집된 skills
2
Stars
1
업데이트
2026-01-24
Forks
0
직업 범위
직업 카테고리 1개 · 100% 분류됨
저장소 탐색
이 저장소의 skills
제작자/저장소/skill
skill
직업 분류
설명
업데이트
sequent-calculus
소프트웨어 개발자
Surface → IR translation rules and IR reduction semantics for Ziku's λμμ̃-calculus based intermediate representation. Use when implementing translation, IR evaluation, or understanding the core semantics.
2026-01-24
loogle
소프트웨어 개발자
Search for Lean 4 and Mathlib theorems, lemmas, and definitions by type signature, name, or subexpression pattern. Use when the user asks to find a theorem, look up a Lean definition, search for lemmas, or needs help discovering Mathlib functions.
2026-01-10