Proof Portal

Sign in
Project overview

jsonparser

ProbeLabs11 findings · 123 requirements

The fastest JSON parser for Go — formally verified with ReqProof (real library, master).

Verification
Audited

as of 6454f95de6 · Aug 21, 2026 · master

Open this run
FindingsSee what needs attention and act on it.

No open findings

11 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.
  • Known issueSet on top-level array-index beyond length returns KeyPathNotFoundError instead of appending2 months ago
  • Changev1.6.0: Append function + KI-2/3/4 fixes2 months ago
  • Changev1.5.0: Config, name aliases, streaming ReaderParser2 months ago
  • Changev1.4.0: ArrayEachErr, Escape/SetString, GetArrayLen/GetUint64, DeleteFound, wildcard paths, JSONPath compiler2 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-real/mcp
Show how to connect — Claude Code & .mcp.json
Add it to Claude Code
claude mcp add --transport http proof-jsonparser-real \
  https://portal.reqproof.com/projects/jsonparser-real/mcp
Or add it to your .mcp.json
{
  "mcpServers": {
    "proof-jsonparser-real": {
      "type": "http",
      "url": "https://portal.reqproof.com/projects/jsonparser-real/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-real/card.svg)](https://portal.reqproof.com/projects/jsonparser-real)
Compact badgeProof status badge
[![Proof status](https://portal.reqproof.com/projects/jsonparser-real/badge.svg)](https://portal.reqproof.com/projects/jsonparser-real)