菜单
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 页面并帮你完成安装。
基于 SOC 职业分类
| name | mesie-logic-prover |
| description | 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. |
Native MESIE / MAESI / NeuroAIX skill — SOLUS Local Math AI Caretakers.
logic-prover — SOLUS Logic Proverpython scripts/run_solus_math_caretakers.pydeliverables/SOLUS_Math_Caretakers_Report.jsoncd to repo root: Multi-Element-Spectral-Intelligence-Engine-MESIE-python -m mesie.tools.cli run <tool-id>python -m mesie.tools.cli run test to verify environment.mesie/tools/registry.pypython -m mesie.tools.cli listMaster hub for MESIE, MAESI, and NeuroAIX. Routes to all native skills and tools. Triggers: mesie, maesi, neuroaix, spectral engine, octopus, fingerprint, monte carlo. Use when user asks to run MESIE or needs the tool catalog.
Your X-ray math caretaker — z-depth, spectral decompose, phi-harmonics, fully local. Triggers: pattern forge, solus math, spectral decompose, xray, z-depth. Use for /mesie-pattern-forge or MESIE/MAESI/NeuroAIX tasks.
Hosts Logic Prover + Pattern Forge as autonomous caretakers inside MAESI SDK. Triggers: caretaker, mini brain, mini heart, organism, solus, sovereign. Use for /mesie-solus-organism or MESIE/MAESI/NeuroAIX tasks.
Eight-arm controller; EMBED/MATCH default to AISVectorPolyglot (vector + Rust/Python). Triggers: eight arms, internal api, multi-arm, octopus, polyglot arms. Use for /mesie-octopus or MESIE/MAESI/NeuroAIX tasks.
Polyglot test/use/integration: Python, Rust, Julia, Motoko, TypeScript + vector + AIS + 3rd-party AI. Triggers: ais, julia, motoko, polyglot, rust, third party ai, typescript, vector bridge. Use for /mesie-polyglot or MESIE/MAESI/NeuroAIX tasks.
Determinism and match/embed throughput. Triggers: benchmark, determinism, speed. Use for /mesie-benchmark or MESIE/MAESI/NeuroAIX tasks.