michaellady/claude-social-media-skills
Claude Code skills for promoting your work on social media via Buffer
Senior DevOps Engineer that grapples with humans and code.
Repositories
michaellady/twitter-port-matrix
Four verified Twitter-clone implementations (Go, Rust, Java, Kotlin) broken 72 ways to measure what each verification layer actually catches
michaellady/Specula
Specula: An agentic tool for finding deep bugs in system code using TLA+
michaellady/verified-java-websocket-port
Evidence-backed safe Rust port of Java-WebSocket
michaellady/dialed
Deploying Infrastructure with A Low Effort Delivery — Claude Code skill that bootstraps GitHub Actions + Terraform + AWS deploy pipelines with per-PR ephemeral stacks
michaellady/HUMMBL-Unified-Tier-Framework
Problem complexity classification and learning progression framework with quantitative wickedness assessment methodology. Features 5 problem tiers (Simple→Super-Wicked), Base-N architecture (Base6→BASE120), and empirical validation from HUMMBL mental models research. Includes automated quality control and community templates.
michaellady/mike-skills
Personal Claude Code skills covering the skill lifecycle (scaffold, install, audit, uninstall) plus chat-log meta-analysis
michaellady/hummbl-research
research repo
michaellady/base120
Base120 is a deterministic governance substrate for system design, validation, and execution. It defines executable mental models, failure modes, and guardrails to enforce correctness, escalation, and termination decisions before runtime. This repository is the authoritative v1.0.0 reference implementation.
michaellady/newsletter_crosspost
Automated cross-posting pipeline for Enterprise Vibe Code newsletter (Beehiiv → Medium, LinkedIn, Substack)
michaellady/sandbox
michaellady/youtube-analytics
michaellady/twitter-rust-formal-verification
Formally-verified Twitter clone in Rust (Verus). Part of the twitter-clone formal-verification project; consumes twitter-formal-spec as a submodule.
michaellady/twitter-golang-formal-verification
Formally-verified Twitter clone in Go (Gobra). Part of the twitter-clone formal-verification project; consumes twitter-formal-spec as a submodule.
michaellady/kai
Personal knowledge compounding service: Apple Photos + YouTube livestreams → Gemini transcripts → NotebookLM
michaellady/twitter-formal-diffsplitter
Cross-impl conformance proxy for the verified twitter clone (Rust primary + Go shadow). Tier-4 trusted infra.
michaellady/twitter-formal-spec
Canonical TLA+ formal spec for the twitter-clone formal-verification project. Consumed as a git submodule by the Go and Rust impl repos.
michaellady/wasteland
Wasteland — federation protocol for Gas Towns
michaellady/gascity
Orchestration-builder SDK for multi-agent coding workflows
michaellady/beehiiv-mcp
Read-only MCP server giving Claude visibility into a beehiiv newsletter — subscribers, engagement, recent post stats, automations, segments, webhooks.
michaellady/OpenAgent
The Web3 AI Agent Solution
michaellady/claude-code-infrastructure-showcase
Examples of my Claude Code infrastructure with skill auto-activation, hooks, and agents
michaellady/roxas
Content as Code. Turn git commits into social media posts.
michaellady/gastown
Gas Town - multi-agent workspace manager
michaellady/beads
Beads - A memory upgrade for your coding agent
michaellady/twitter-clone-ecc
michaellady/twitter-clone-gstack
michaellady/twitter-clone-superpowers
Chirp - A Twitter clone built with Next.js, Prisma, and PostgreSQL
michaellady/Twitter-clone-GSD
A Twitter clone built with GSD (Get Shit Done) + Claude Code. Next.js 16, SQLite, Drizzle ORM, next-auth v4, TanStack Query, Tailwind v4.
michaellady/twitter-clone-speckit
Twitter clone (Chirp) built with Next.js, TypeScript, PostgreSQL, Prisma, NextAuth, Tailwind CSS. Spec-driven development with GitHub Spec Kit.