[console_scripts]
theory-auditor = theory_auditor.cli:main
