msl-ore-estate Public

Accumulating mathematical ore and extraction infrastructure.

erdos203 Public

Erdős–Graham #203: coset-cover attack corpus. Exact structural results, replayed finite obstructions (N=5040 pool kill, overlap tax), and search engines. Problem remains open.

erdos411 Public

Erdős–Graham #411 (r=2): the Steinerberger–Hercher bridge, the base-6 cascade (axiom-free Lean), and the omega-ladder; no exceptional prime below 1.33e14. Residual gap open; retraction preserved.

erdos902 Public

Lean 4 formalisation of the classical bounds for Erdős #902 (Schütte), including the Szekeres–Szekeres lower bound; kernel-checked. Problem remains open.

wp-devops-hub Public

WordPress DevOps monitoring hub with centralized dashboard and alert system

wp-devops-monitor Public

WordPress plugin monitoring interface library

white-label-ecommerce Public

A portable, white-label e-commerce platform with inline content editing

petcare Public

inbox-manager-agent Public

mail4gpt Public

REST API service for ChatGPT to access your email ✉️🦜

atrenet Public

AllSports Public

Allsports Project

Joy-of-Mom Public archive