Proof Portal

Sign in
Project overview

jsonparser

ProbeLabs24 findings · 123 requirements
Verification
Audited

as of d79405e237 · Aug 20, 2026 · proof-demo

Open this run3 audits

Finding proof

Known issues across open and resolved states. Missing assessments never count as passes.

PoC quality passed
7findings: PoC quality passed
Fixed — regression guard
9findings: Fixed — regression guard
PoC not reviewed
3findings: PoC not reviewed
No PoC yet
0findings: No PoC yet
PoC quality gaps
0findings: PoC quality gaps

Includes state-only summaries for withheld records, whose kind remains undisclosed. No withheld details are shown.

FindingsSee what needs attention and act on it.
10open findings
5 High2 Medium2 Low1 Info
High
Security issue — details withheld until disclosure
High
Security issue — details withheld until disclosure
High
Security issue — details withheld until disclosure
High
Security issue — details withheld until disclosure

14 resolved

Open findings
RequirementsExplore what the software must do — and how each is proven.
123requirements
Formalized116 / 12394%
116 formalized (94%)
Open requirements
MapSee how the system fits together.
1component
Open map
TimelineFollow how it changed over time.
  • Requirement95 requirements updated3 months ago
  • Known issueSet on top-level array-index beyond length returns KeyPathNotFoundError instead of appending3 months ago
  • Known issuearrayEachConfig empty-array sentinel checks for '}' instead of ']' — a valid `[]` is rejected as malformed3 months ago
  • Known issueParseBoolean uses prefix match instead of exact equality — "trueish"/"falsehood" accepted as booleans3 months ago
Open timeline
DocumentsGenerate specs, traceability, and verification reports.
6 documents ready to generateRequirements summary · Requirements specification (SRS) · Traceability matrix & more
Open documents

Connect & share

Plug an AI agent into this project's proof data, or drop a live proof badge in your README.

Connect an AI agent
Point Claude, Cursor, or any MCP client at this project's read-only proof data — its requirements, findings, coverage, and evidence — so your agent can answer questions and cite the audit directly.
MCP endpoint (streamable HTTP)
https://portal.reqproof.com/projects/jsonparser/mcp
Show how to connect — Claude Code & .mcp.json
Add it to Claude Code
claude mcp add --transport http proof-jsonparser \
  https://portal.reqproof.com/projects/jsonparser/mcp
Or add it to your .mcp.json
{
  "mcpServers": {
    "proof-jsonparser": {
      "type": "http",
      "url": "https://portal.reqproof.com/projects/jsonparser/mcp"
    }
  }
}

This project is public — no token needed.

Add a proof badge
Drop a live proof status into your README — a rich status card, or a compact badge — linking back to this dashboard so anyone reading your repo can open the evidence.
Proof status card
Copy the README Markdown — card & compact badge
Status card (shown above)
[![Proof status](https://portal.reqproof.com/projects/jsonparser/card.svg)](https://portal.reqproof.com/projects/jsonparser)
Compact badgeProof status badge
[![Proof status](https://portal.reqproof.com/projects/jsonparser/badge.svg)](https://portal.reqproof.com/projects/jsonparser)