Skip to content
Back to the index

ProofPulse

visualstudio.comStatic analysis & linters

No liveness check has reached it yet; it is registered on the VS Code Marketplace and has been in the index since 13 Oct 2026. How this is checked

ProofPulse is a Visual Studio Code extension for analyzing proof coverage in Dafny projects. It displays inline coverage decorations, gutter indicators, and hover diagnostics for proof dependencies, helping formal methods developers inspect verification completeness while editing.

Inferred · not functionally tested

FreeWebWindowsmacOSLinux
Visit visualstudio.com

Overview

6 features

Purpose: Helps Dafny developers identify which proofs and proof dependencies are covered or missing during verification.

Inferred · not functionally tested

Audience: Dafny developers and formal methods engineers

Inferred · not functionally tested

Functions: analytics

Inferred · not functionally tested

Interfaces: API: unknown · MCP: unknown · CLI: unknown · Self-hosting: unknown

Recorded constraints: pricing: free · license: Proprietary · platforms: WEB · deployment: browser, windows, macos, linux

Constraint provenance is unknown; confirm requirements with the publisher.

Record sources: unknown.

In the Static analysis & linters space, ProofPulse takes a focused approach. Inferred · not functionally tested: It helps Dafny developers identify which proofs and proof dependencies are covered or missing during verification. Inferred · not functionally tested: ProofPulse is a B2B product aimed at dafny developers and formal methods engineers. Basis unknown · not verified: ProofPulse is free to use. Basis unknown · not verified: ProofPulse is available on the web, Windows, macOS, and Linux.

It is developed by proofpulse, and it first shipped in 2026. Inferred · not functionally tested: Among its 6 catalogued features are proof coverage analysis, inline decorations, and gutter marks.

Summary written by a language model from the project’s public pages.

Tasks: Inferred · not functionally tested

  • Proof coverage analysis
  • Inline decorations
  • Gutter marks
  • Hover diagnostics
  • Dependency analysis
  • Dafny verification

Topics: Inferred · not functionally tested

Tags
dafnyformal-methodsproof-coverageverification-analysis

JSON profile · Text profile · Access guide

Built with & integrations

Connectors
vscode
Runs on
BrowserWindowsmacOSLinux

Trust & compliance

Public signals
HTTPSFree tierStore listing found

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed13 Oct · 03:16 UTC
    ProofPulse seen via VS Code Marketplace
    Source: VS Code Marketplace · Open

Frequently asked questions about ProofPulse

What is ProofPulse?
Inferred · not functionally tested: ProofPulse helps Dafny developers identify which proofs and proof dependencies are covered or missing during verification. It is catalogued under Static analysis & linters on PulseGate.
Who is ProofPulse for?
Inferred · not functionally tested: ProofPulse is a B2B product built for dafny developers and formal methods engineers.
Does ProofPulse have a free plan?
Basis unknown · not verified: Yes — ProofPulse is free to use.
What platforms does ProofPulse run on?
Basis unknown · not verified: ProofPulse runs on the web, Windows, macOS, and Linux.
Is ProofPulse still maintained?
Unverified. ProofPulse 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 ProofPulse?
Similar projects tracked by PulseGate include AgentPulse, Work Pulse, and CodePulse Fixer.AgentPulseWork PulseCodePulse Fixer
Who develops ProofPulse?
ProofPulse is developed by proofpulse.
How long has ProofPulse been around?
ProofPulse first shipped in 2026.

Similar projects

Closest matches by what these projects do