Downloadable software for use in AI safety, cybersecurity, symbolic filtering, behavior monitoring, and governance of large language models.