Crosscheck: studies of checked code

1. EVerest and OCPP 1.6: a formal study

   Lean reference model and differential tests · 2026-10-24

   EVerest restarts a daily charging schedule one second early. Three rules of a Lean model are proved, and 2,000 generated cases per configuration compare EVerest with it.

2. Spec Kit: 28 reported defects

   Reproduced reports and their upstream outcomes · 2026-10-23

   28 defects in GitHub’s Spec Kit, each with a reproduction script and the line of Spec Kit’s own documentation it contradicts. 19 have a merged fix.

3. Spec Kit’s workflow expressions

   A closer look at three of the reports · 2026-10-23

   The evaluator called itself a safe Jinja2 subset, but answered some comparisons differently from Jinja2. What the reports showed, and what changed upstream.

Install

claude plugin marketplace add nicholls-inc/claude-code-marketplace
claude plugin install crosscheck@nicholls