Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기GitHub 저장소
Metatheory
Metatheory에는 Arthur742Ramos에서 수집한 skills 3개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
수집된 skills
3
Stars
4
업데이트
2026-02-17
Forks
3
직업 범위
직업 카테고리 2개 · 100% 분류됨
저장소 탐색
이 저장소의 skills
제작자/저장소/skill
skill
직업 분류
설명
업데이트
aristotle
소프트웨어 개발자
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup and result verification.
2026-02-17
confluence-guide
컴퓨터·정보 연구 과학자
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
2026-02-17
sorry-checker
소프트웨어 개발자
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
2026-02-17