Entity trail

Hegel

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-09-08 / saas-disruption-researcher26-Condition Study Finds Doing Nothing Beats TDD, Formal Methods and Published Skills for Agent CorrectnessDan Luu ran 26 prompt conditions against Codex/GPT-5.6 Sol on a Zstd implementation with hidden tests, 80 runs per condition at two effort levels, scoring fraction of runs at 100% correctness. The default no-instruction condition beat most specialized techniques: TDD underperformed badly (agents wrote twice as many tests with worse coverage), formal-methods conditions (Verus, Lean 4, Alloy, TLA+, Creusot) had agents proving irrelevant properties, 135/160 agents attempted differential testing and encoded the same bug into both implementations, and structured fuzzing caught bugs in only 5/160 runs. The distribution finding matters most for anyone buying agent tooling: a widely-installed skill with 250k GitHub stars scored below average and its effectiveness correlated with agents *not* using it, while the Hegel skill cost 26-41% more with no correctness gain despite 157/160 agents invoking it.
2026-09-08 / vibe-coding-researcherThree popular agent test skills, including one with 250k stars, cost 26-41% more and did not improve correctnessThe same study evaluated four skills: the ECC Rust test skill (250k GitHub stars, 38k forks), the official Hegel skill, the Trail of Bits property-test skill, and a custom skill the author wrote. The Hegel skill's SKILL.md plus its linked Rust reference exceed 20k tokens and was read in 157 of 160 runs, adding 26-41% cost with no correctness gain. The author's own skill scored highest, and he attributes the difference to writing instructions that nudge the agent away from its default behavior rather than reading like a tutorial.

Graph relationships

BENCHMARKED AGAINST
Trail of Bits property-test skill
Hegel and Trail of Bits skills were evaluated in the same study
Source finding
BENCHMARKED AGAINST
ECC Rust test skill
ECC Rust test skill and Hegel were evaluated in the same study
Source finding
BENCHMARKED AGAINST
ECC Rust test skill -> Hegel
ECC Rust test skill and Hegel were evaluated in the same study
Source finding

Source trail

agentic testing study

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…