There is no automated system for checking symmetries and constraints for general arbitrary physics theories. You cannot make a requirement asking for "consistent with the rest of our knowledge about physics" without unambiguously defining with "consistent" means. This is not possible as "consistent" is arbitrary, subjective, and at best contextually dependent on the theory itself.
Many theories are also not designed to be consistent across all known constraints and often are approximations for a particular domain. Where that domain begins and ends is also a matter of interpretation, sometimes not quantifiable in rigorous ways.
Doing science is not like writing code and requires human interpretation.