MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents (ArXiv cs.LO Recent Papers, 2026)