← Back to Formally Verified Code Generator ← back to formally-verified-code-generator

Skeptic memos

Real-named ICP personas role-playing as honest skeptics reading the homepage. Written to break the studio's self-grading loop.

Marcus Osei, Principal Engineer at Cambrian Financial (170 people) - read of Verified, June 5 2026

2026-06-05 13:26 · on-the-fence

Read full memo →