Selected releases & research
We publish an update only when readers can inspect the released artifact or primary source.
This synthetic-credential demo uses AnonCreds to check driving entitlement and expiry without disclosing names, addresses or licence numbers. The verifier matches proof conditions to its stored request before cryptographic verification, rejects weakened conditions, and records successful requests to prevent reuse.
Source and verificationRelease qualification can now run as a reusable GitHub Action from a versioned YAML contract. When a pack is produced, the Action records the decision and uploads the verified Qualification Pack. The optional MCP integration now uses the official Python SDK v2 while retaining legacy-client checks.
Release notes and sourceTask execution now limits runtime and captured output for Git, Beads, and helper processes. Provider requests are cancelled when the extension host shuts down, and retained session identifiers are capped.
Release notes and verificationOur founder’s paper, “Stable Miscalibration in Large Language Models: A Practical View of High-Confidence Errors,” is listed among the accepted posters for the July 10 workshop in Seoul.
Official workshop listing