Observed arrival · 2026-08-25

MaruCheck Keeps the Coding Agent from Grading Its Own Homework

marucheck.dev Observed source

Editorial interest 84/100 Selection signal · not a rating of the site

An open-source verifier checks AI-generated software changes against independently stored product behavior, historical bugs, and risk signals.

Landing page captured for the 2026-08-25 issue.

Field notes

The displayed verification sequence moves through diff classification, risk assessment, contract checking, evidence normalization, and a release decision. Its example uses subscription-management#SUB-001 to catch a change from an approved limit of five projects to an observed limit of ten, while a recalled failure, MEM-0143, adds a related regression test. The site also exposes CLI, CI integration, MCP-client, and proof-console entry points, with the CLI installation shown as version 0.3.0.

Observed signals

Read the marks

Editorial observations of this landing page, not a rating.

⊠LoginAccess appeared gated

✦PrettyNotable craft visible

●ProPolished or operationally mature

◎NicheUnusually specific use

ƒJavaScriptBrowser-side code central

One card from the complete issue

Thirty-One Wells, Not Four

295,249 arrived 1,000 judged 1000 catalogued Enter the complete issue