Search theorems, identify constants, and verify math with formal checks.
Provides theorem search and strict numeric and Lean verification for AI agents.
