Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning