Proof Portal

jsonparser

ProbeLabs23 findings · 123 requirements

Showing the current git stateNo audit has been synced for this project yet — verification results (proof status, coverage, solver signals) appear once an audit is published.proof-demod79405e

Verification

Audited

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

Open this run 3 audits

FindingsSee what needs attention and act on it.

10open findings

5 High2 Medium2 Low1 Info

13 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 updated1 month ago
Known issueSet on top-level array-index beyond length returns KeyPathNotFoundError instead of appending1 month ago
Known issuearrayEachConfig empty-array sentinel checks for '}' instead of ']' — a valid `[]` is rejected as malformed2 months ago
Known issueParseBoolean uses prefix match instead of exact equality — "trueish"/"falsehood" accepted as booleans2 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.

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 badge

[![Proof status](https://portal.reqproof.com/projects/jsonparser/badge.svg)](https://portal.reqproof.com/projects/jsonparser)