Skip to main content
Manusで任意のスキルを実行
ワンクリックで

mesie-logic-prover

スター2
フォーク0
更新日2026年6月6日 21:26

Your local math proof caretaker — mini heart + mini brain, zero 3rd party. Triggers: logic prover, proof, solus math, theorem. Use for /mesie-logic-prover or MESIE/MAESI/NeuroAIX tasks.

インストール

Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。

SKILL.md
readonly