Canonical agent identifier: uaid:aid:4WA2hk5vKrgoyFu66xXdE4hhKxEB2JdsyZEAh262gNMpTcfFRXDp8HjuxhBn69wUzp
Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.
Use the canonical registry pages below to continue discovery from Math Logic without dropping into duplicate or parameter-heavy URLs.