Releases·Tool Release
Supercov launches open-source MC/DC coverage tool that lets coding agents write tests in autonomous loops
A Show HN post introduces Supercov, a free and open-source test coverage tool built to let coding agents autonomously write and improve tests. It wraps existing JavaScript/TypeScript/Rust test suites and provides MC/DC coverage with a single npx command, so agents can measure coverage and add tests iteratively without human prompting.
2 engagement1 sourceWed, Sep 2, 2026, 11:55 AM
AI Overview
- Supercov wraps any JavaScript, TypeScript, or Rust test suite via 'npx supercov -- npm test' and reports deepest MC/DC coverage
- Coverage tool is written in Rust for maximum performance and is free and open source on GitHub (supercorp-ai/supercov)
- Creator suggests prompting agents to 'Measure coverage with npx supercov and write one test' to build suites in a loop
- Founder frames code verification as the missing piece for AI 'software factories', seeking compatibility feedback and bug reports
Entities
Related
Products·launched
CodeVetter: Local verification for coding agent output
CodeVetter is a desktop app that verifies code changes made by coding agents locally. It collects the task, agent changes, executable checks, and evidence into a review bundle, helping developers confirm that requested behavior actually works without relying on a second model. It targets TypeScript and Node apps with browser or API behavior.
CodeVetter is a desktop app that verifies code changes made by coding agents locally. It collects the task, agent changes, executable checks, and evidence into a review bundle, helping developers confirm that requested behavior actually works without relying on a second model. It targets TypeScript and Node apps with browser or API behavior.
4 engagement1 sourceredditSun, Aug 16, 2026, 10:03 AM
Products·launched
Codacy Skills: Let coding agents set up test coverage
Codacy Skills is a feature that allows coding agents to automatically set up test coverage for projects. It uses LLMs to analyze code and generate tests, helping developers improve code quality and reduce manual testing effort.
Codacy Skills is a feature that allows coding agents to automatically set up test coverage for projects. It uses LLMs to analyze code and generate tests, helping developers improve code quality and reduce manual testing effort.
2 engagement1 sourcehackernewsThu, Aug 20, 2026, 09:36 PM
Products·launched
Rudder: Test-Driven Development for AI Coding Agents
Rudder is a tool that brings test-driven development to AI coding agents, allowing developers to define expected behavior via tests before the agent writes code. It addresses the problem of developers feeling disconnected from code generated by agents, ensuring the code meets user-defined specifications rather than the agent's own interpretation.
Rudder is a tool that brings test-driven development to AI coding agents, allowing developers to define expected behavior via tests before the agent writes code. It addresses the problem of developers feeling disconnected from code generated by agents, ensuring the code meets user-defined specifications rather than the agent's own interpretation.
1 engagement1 sourcehackernewsMon, Aug 3, 2026, 04:07 PM
Developments·Paper
SCATE framework automates supervision of coding agents to overcome lazy generation in test generation
Researchers propose SCATE, a framework for adaptive, automated supervision of coding agents, replacing human-in-the-loop oversight to address lazy generation—where agents prematurely terminate tasks and avoid complex logic, leading to inadequate code coverage. This aims to remove the bottleneck of human intuition and restore efficiency gains in automated test generation.
Researchers propose SCATE, a framework for adaptive, automated supervision of coding agents, replacing human-in-the-loop oversight to address lazy generation—where agents prematurely terminate tasks and avoid complex logic, leading to inadequate code coverage. This aims to remove the bottleneck of human intuition and restore efficiency gains in automated test generation.
0 engagement1 sourcearxivThu, Jul 9, 2026, 11:13 PM
Products·building
Anti-hallucination gate for code with signed verification receipts
Causal Verify is a tool that acts as an anti-hallucination gate for AI-generated code. It requires code to pass explicit tests in a restricted environment, returning a hard pass/fail and a signed verification receipt tied to the exact code. This helps developers ensure AI-written patches actually work, reducing silent bugs.
Causal Verify is a tool that acts as an anti-hallucination gate for AI-generated code. It requires code to pass explicit tests in a restricted environment, returning a hard pass/fail and a signed verification receipt tied to the exact code. This helps developers ensure AI-written patches actually work, reducing silent bugs.
1 engagement1 sourceredditWed, Aug 19, 2026, 12:06 AM