Ztare

v1.2.1 Bugfix

This release fixes issues for SREs watching stability and regressions.

Published 10d AI Agents & Assistants

✓ No known CVEs patched

✓ No known CVEs patched in this version

Topics

adversarial-ml ai-alignment ai-governance ai-safety artificial-intelligence autoresearch

+8 more

formal-verification lean4 llm-evaluation multi-agent-systems neurosymbolic recursive-ai trustworthy-ai zero-trust

Summary

AI summary

Restores the provider-free make first-run path and defers SDK imports until needed.

Type	Severity	Summary	CVE
Feature	Low	Adds a standard-library-only regression test for offline ordinary-review prompt export. Adds a standard-library-only regression test for offline ordinary-review prompt export. Source: llm_adapter@2026-07-16 Confidence: high	—
Bugfix	Medium	Defers Google, Anthropic, and OpenAI SDK imports until a provider-backed benchmark path is selected. Defers Google, Anthropic, and OpenAI SDK imports until a provider-backed benchmark path is selected. Source: llm_adapter@2026-07-16 Confidence: high	—
Bugfix	Medium	Restores the provider-free `make first-run` path on a clean base installation. Restores the provider-free `make first-run` path on a clean base installation. Source: llm_adapter@2026-07-16 Confidence: high	—

Full changelog

ZTARE v1.2.1 is a packaging hotfix for the v1.2 release.

Defers Google, Anthropic, and OpenAI SDK imports until a provider-backed benchmark path is selected.
Restores the provider-free make first-run path on a clean base installation.
Adds a standard-library-only regression test for offline ordinary-review prompt export.

The v1.2.0 Workbench, LeanMill/AxiomPack, and ARC-AGI WIP scope is unchanged.

Weekly OSS security release digest.

The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.

No spam, unsubscribe anytime.

Share this release

Track Ztare

Get notified when new releases ship.

About Ztare