Proof
Proof is a VS Code extension that runs the proof-java CLI and displays its test-quality verdict in the editor. It provides inline coverage information, per-line test evidence, and mutation-testing findings for Java projects using tools such as Maven or Gradle.
Overview
5 featuresProof is a Testing & QA project. It helps Java developers inspect test coverage, per-line evidence, and mutation-testing findings directly in VS Code. Proof is a B2B product aimed at java developers and software testing teams. It is available for free. Proof is available on the web, Windows, macOS, and Linux.
Mert Demir builds and maintains Proof, and it first shipped in 2026. Among its 5 catalogued features are inline coverage gutter, per-line test evidence, and mutation findings.
- Inline coverage gutter
- Per-line test evidence
- Mutation findings
- Proof CLI integration
- Java test analysis
Built with & integrations
Trust & compliance
Indexing history
1What PulseGate has recorded for this listing
Frequently asked questions about Proof
- What is Proof?
- Proof helps Java developers inspect test coverage, per-line evidence, and mutation-testing findings directly in VS Code. It is catalogued under Testing & QA on PulseGate.
- Who is Proof for?
- Proof is a B2B product built for java developers and software testing teams.
- Is Proof free?
- Yes — Proof is free to use.
- What platforms does Proof run on?
- Proof runs on the web, Windows, macOS, and Linux.
- Is Proof still active?
- Unverified. Proof has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
- What are alternatives to Proof?
- Similar projects tracked by PulseGate include puppetlabs-onceover, NUnit.That.Resharper.Plugin, and APPsolute Test Isolation.puppetlabs-onceoverNUnit.That.Resharper.PluginAPPsolute Test Isolation
- Who makes Proof?
- Proof is developed by Mert Demir.
- When did Proof launch?
- Proof first shipped in 2026.
Also in Testing & QA
Same category — not a similarity match