Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
Metatheory
Metatheory には Arthur742Ramos から収集した 3 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 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