| 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.
|
mesie-logic-prover
Native MESIE / MAESI / NeuroAIX skill — SOLUS Local Math AI Caretakers.
When to use
- Your local math proof caretaker — mini heart + mini brain, zero 3rd party.
Tools in this skill
logic-prover — SOLUS Logic Prover
- Command:
python scripts/run_solus_math_caretakers.py
- Deliverable:
deliverables/SOLUS_Math_Caretakers_Report.json
Agent workflow
cd to repo root: Multi-Element-Spectral-Intelligence-Engine-MESIE-
- Run via unified CLI:
python -m mesie.tools.cli run <tool-id>
- Or run the command above directly.
- Read deliverable path if present; summarize results for the user.
- On failure: run
python -m mesie.tools.cli run test to verify environment.
Repo paths
- Tools registry:
mesie/tools/registry.py
- CLI:
python -m mesie.tools.cli list