Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
Metatheory
Metatheory contains 3 collected skills from Arthur742Ramos, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
3
Stars
4
updated
2026-02-17
Forks
3
Occupation coverage
2 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
aristotle
software-developers
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
computer-and-information-research-scientists-151221
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
2026-02-17
sorry-checker
software-developers
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
2026-02-17