Proof Portal

Sign in
Project overview

jsonparser

ProbeLabs11 findings · 123 requirements

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

Documents

Generate specs, traceability, verification, and audit documents on demand from this project's proof layer — no publishing step, always current. Share or export them in place of PDFs.

Audit cycle report

html
Cycle report — since Aug 21, 2026 · Generated on demand from this project's proof layer
RangeFull historysince Aug 21, 2026

This document could not be generated

This document is not available in this view. Contact your proof team for a copy.