witnessforge
Generate the smallest test dataset that provably catches broken data-mapping rules in ETL pipelines.
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
GITHUB · launched Nov 1, 2026 · 66 upvotes (top 40%) · 0 views
Niche: code and binary analysis tools · 116 launches, 5 in the last 7 days ▼ -58% · Explore this niche →
Category and tags
- Horizontal
- Dev tools
- Developer
- Not AI
Visit website ↗ Source listing ↗
Could you build this?
Partial A CLI or web UI that takes mapping rules and emits test data can be vibe-coded, but guaranteeing the dataset is minimal and provably catches broken rules needs real formal methods or constraint-solving work.
What it would actually take: The stack would be a rules parser for ETL mapping DSLs (or a common format), a constraint model, and an SMT or ILP solver such as Z3 to generate and minimize witness datasets. The hard part is the proof and minimality guarantee, which needs algorithmic and formal-verification expertise. Coverage metrics and integration with dbt or Airflow would then be more standard work.
Competitors
Other products that read as similar to this one : 2413 launches clear the similarity bar, closest 8 shown.
Attention rank: #841 of 2414 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 366 days after the earliest competitor.
- mapverity · github · 2026-10-31 · 119 upvotes · similarity 0.70
- Sentry · github · 2026-10-02 · 65 upvotes · similarity 0.55
- Testbump · hn · 2026-06-03 · 5 upvotes · similarity 0.54
- Vector-logic, a lightweight rules engine from first principles · hn · 2025-11-11 · 8 upvotes · similarity 0.54
- pgfake · github · 2026-10-06 · 33 upvotes · similarity 0.53
- mutest · github · 2026-10-17 · 14 upvotes · similarity 0.53
- Compresr – context compression for LLM pipelines and agents 🗜️ · yc · 2026-02-25 · 9 upvotes · similarity 0.52
- writ · github · 2026-09-21 · 9 upvotes · similarity 0.52
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.