Alchemy author demos Z3-backed Prove/Explore for TypeScript domain invariants
samgoodwin89 · x · 2026-11-12
sam-goodwin shares automatic verification experiments in Alchemy Domain: declare invariants on Aggregates, then statically "Prove" them across all states or "Explore" every short command/event/policy sequence via simulation, both backed by the Z3 SMT solver reading the source. Draft PR #3260 is public.
Related event: Alchemy experiments with Z3 to verify domain invariants(2 posts)→
More from coding & agent
- One prompt, Blender MCP: Qwen4-Max builds a ramen stall at ~1/4 of DeepSeek's token cost — teortaxesTex · 2026-11-12
- 1.7B model shown driving browser and writing HTML autonomously, claimed to hit 4o-level benchmarks — JosephJacks_ · 2026-11-12
- Hackathon Project Uses Hermes Agent to Turn Prompts into 3D-Printable CAD Designs — alexcovo_eth · 2026-11-12
- Baidu's ERNIE 5.5 Flash writes its own code to build editable CAD skyscraper model — heyshrutimishra · 2026-11-12
- Gamma's UGC pages become parasite SEO target, risking domain-wide Google penalties — gefei55 · 2026-11-12
- A neat prompt to make your agent expose its hidden assumptions about you — keyanzhang · 2026-11-12