PyPI recent updates for aare-core https://pypi.org/project/aare-core/ Recent updates to the Python Package Index for aare-core en 0.1.2 https://pypi.org/project/aare-core/0.1.2/ HIPAA guardrails for AI agents - formal verification for LLM inputs and outputs marc@aare.ai Tue, 24 Mar 2026 17:35:49 GMT 0.1.1 https://pypi.org/project/aare-core/0.1.1/ HIPAA guardrails for AI agents - formal verification for LLM outputs marc@aare.ai Mon, 19 Jan 2026 19:59:07 GMT 0.3.0 https://pypi.org/project/aare-core/0.3.0/ Z3 SMT verification engine for LLM compliance Thu, 11 Dec 2025 22:33:56 GMT 0.2.9 https://pypi.org/project/aare-core/0.2.9/ Z3 SMT verification engine for LLM compliance Tue, 09 Dec 2025 16:42:38 GMT 0.2.8 https://pypi.org/project/aare-core/0.2.8/ Z3 SMT verification engine for LLM compliance Tue, 09 Dec 2025 15:59:48 GMT 0.2.7 https://pypi.org/project/aare-core/0.2.7/ Z3 SMT verification engine for LLM compliance Fri, 05 Dec 2025 01:16:26 GMT 0.2.6 https://pypi.org/project/aare-core/0.2.6/ Z3 SMT verification engine for LLM compliance Fri, 05 Dec 2025 01:10:59 GMT 0.2.5 https://pypi.org/project/aare-core/0.2.5/ Z3 SMT verification engine for LLM compliance Wed, 03 Dec 2025 00:15:11 GMT 0.2.4 https://pypi.org/project/aare-core/0.2.4/ Z3 SMT verification engine for LLM compliance Wed, 03 Dec 2025 00:11:01 GMT 0.2.3 https://pypi.org/project/aare-core/0.2.3/ Z3 SMT verification engine for LLM compliance Tue, 02 Dec 2025 23:19:48 GMT 0.2.2 https://pypi.org/project/aare-core/0.2.2/ Z3 SMT verification engine for LLM compliance Tue, 02 Dec 2025 23:14:12 GMT 0.2.1 https://pypi.org/project/aare-core/0.2.1/ Z3 SMT verification engine for LLM compliance Tue, 02 Dec 2025 21:49:09 GMT 0.2.0 https://pypi.org/project/aare-core/0.2.0/ Z3 SMT verification engine for LLM compliance Tue, 02 Dec 2025 21:29:17 GMT 0.1.0 https://pypi.org/project/aare-core/0.1.0/ Z3 SMT verification engine for LLM compliance Tue, 02 Dec 2025 20:43:53 GMT