Searching protocol for "aristotle"
Turn math prompts into Lean proofs.
Emulate Aristotle's Lean proof workflow automatically.
Gain insights from diverse thinkers.
Master Ancient Greek philosophy.
Think clearly from all angles before acting.
Multi-model debates for reliable answers.