Popular repositories Loading

1. plectis plectis Public

   Publishes 88 runnable mechanisms from a working AI-native research and engineering runtime — formal proof, agent reliability and safety, research, projection-drift control, validators, work landing…

   Python 3

2. microcosm-substrate microcosm-substrate Public archive

   Retired — moved to Plectis (https://github.com/wcook04/plectis). Historical compatibility label only; not a source of current code.

   2

3. plectis-erdos plectis-erdos Public

   Eight open Erdős problems, with the progress and the dead ends in one checkout: Lean theorems, papers, finite certificates, and the infrastructure that binds claims to source so a stranger can read…

   Lean 2

4. wcook04.github.io wcook04.github.io Public

   Root page for wcook04.github.io — front door, host-root favicon and site name, host-root robots.txt.

   HTML

5. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

6. plectis-erdos-lean plectis-erdos-lean Public

   Lean 4 formalisations of 38 theorem families across eight open Erdős problems (#68, #243, #249, #251, #257, #269, #1041, #1049). Human-led, AI-assisted. No problem is claimed solved.

   Lean