ZachL111/erdos469-preprint
Claimed proof of Erdos Problem 469, pending independent human review, with a kernel-checked Lean 4 formalization.
Working on: Founding Engineer/CTO @ Stratum & Football Winner | CGTO @ CHL | Previously: X (Twitter), Reddit, NordVPN | Stack: Full-Stack • AI • Blockchain
Repositories
ZachL111/b2b-writing-portfolio
ZachL111/cognee
Cognee is the open-source AI memory platform for agents. Give your AI agents persistent long-term memory across sessions with a self-hosted knowledge graph engine.
ZachL111/better-auth
The most comprehensive authentication framework
ZachL111/deploylog-dashboard
Full stack deployment and logging dashboard: React SPA, Express + Prisma REST API, live log streaming over SSE, role based access, Docker, Kubernetes and CI/CD.
ZachL111/omi
AI that sees your screen, listens to your conversations and tells you what to do