Observed arrival · 2026-10-31

Eutaxy: replayable failure testing for Cloudflare Workers

eutaxy.dev Visit website

Editorial interest 83/100 Selection signal · not a rating of the site

Eutaxy is a testing tool for finding failure and concurrency bugs in Cloudflare Workers, with optional formal proofs for TypeScript logic.

Landing page captured for the 2026-10-31 issue.

For: Cloudflare Workers developers testing failure-prone workflows
Worth noticing: The page distinguishes sampled property checks from proofs, which it says are performed by Lean 4 or Z3.

Field notes

The page describes wrapping real local Cloudflare bindings rather than replacing them with mocks, then injecting crashes, lost replies, redeliveries, and cut-off background work at effects. Its sample trace reports the same payment key being written twice after an ambiguous D1 response. The listed setup requires Node 24 and TypeScript 7.1.0-beta; Lean 4 and Z3 are optional.

Observed signals

Read the marks

Editorial observations of this landing page, not a rating.

○OpenPublic substance visible

✦PrettyNotable craft visible

●ProPolished or operationally mature

◎NicheUnusually specific use

One card from the complete issue

Downloadable Baldness

307,291 arrived 1,000 judged 978 catalogued Enter the complete issue