Logic Coprocessor: A Bounded Reasoning Backend for LLM Apps

A plug-in 'thinking' engine for LLM applications: strict logical questions are solved by a small, auditable mathematical engine, and the host LLM only puts the answer into words — cutting logic-induced hallucinations in legal, financial, and compliance software.