Live proofteire-dev/examples · PR #30
When upstream breaks, Teire fixes your code.
Dependabot bumps the version. Teire fixes the code it breaks, and proves it with your own tests.
Upstream changes
An advisory, on a new major.
zod 3.25.76 → 4.6.6GHSA-mrhx-c7xc-m3w5 · high
Next shutdowns
teire-dev/examples
The installed zod is vulnerable.
Teire reads
Nemotron fixes it
Nemotron rewrites what broke.
dependabot-core100 s- Nemotron 3 Ultra22 calls · $0.163
email: z.string().email(), channel: z.nativeEnum(Channel), subject: z.string().min(1),− labels: z.record(z.string()).default({}),+ labels: z.record(z.string(), z.unknown()).default({}), }) .strict();
On
In a sandbox
Installs online, checks offline.
Token Factory SandboxesYour repo's own commands
Your tests prove it
Before and after the change.
- tests
- 4/44/4
- typecheck
- passpass
One pull request
With the proof inside.
