Est. on the restaurant floor — built for production github.com/mikemartincode  ·  mmartin1212@gmail.com

Mike Martin.

I ran the floor of a 1772 inn — service under pressure, systems that can’t fail on a Saturday night. Now I build software the same way: production web platforms, AI-driven build systems, and the infrastructure underneath them. Everything below is real, shipped, and running.

Currently Building an AI website-builder platform and operating a live commercial site for a historic Pennsylvania inn.
Nº 02

Engineering

platforms & tooling

Frontier-Model Orchestration

AI-native engineering practice

My daily engineering practice: frontier models do real labor — writing code, running migrations, building features — and I engineer the harness that makes their work trustworthy: toolchains the models operate through, gates their output must clear, verification that decides what ships. Cynthia below is the deepest expression — an AI platform, built AI-natively.

  • Models operate real toolchains — deploys, database surgery, browser QA — never freehand
  • Every output clears mechanical gates: lint, probes, contract checks, parity and mutation proofs
  • The harness is the craft: work that can’t pass the gate can’t ship
ClaudeMCPAgent harnessesVerificationTool design

cynthia-audit

Verification research

Can a cheap model author spec oracles for real shipping code — without anyone having to trust the model? Built on the published agentic property-based-testing work, which suffers a large invalid-report rate when the model judges its own output. Here an oracle only counts if it passes on the real code and kills mutants of the function it claims to specify: the model proposes, mutants dispose.

  • Controlled experiments — leave-one-out across four target repos, pre-committed holdouts, a null result reported as null
  • A model-free parser-differential auditor for the SSRF bug class, findings cited to the RFC clause
  • Reports on real libraries keep their post-hoc corrections visible — an auditor that can't say "we were wrong" produces noise
EvalsMutation testingStatisticsSecurityPython

Cynthia

AI site-builder platform

A platform that researches a local business, plans from a discovery corpus, writes its own pages, and judges its own output — built as a typed plugin kernel where every LLM concern (extraction, validation, retries, concurrency, durable execution) lives once as a service instead of being re-rolled per feature.

  • ~25 services and 100 tools on a search-based disclosure kernel — agent context stays flat as capability count grows
  • Every model output crossing a boundary is contract-checked; broken output is structurally unshippable
  • Multi-agent swarm execution and durable retries on a Postgres-backed workflow engine
  • Migration from the previous architecture proven with parity ledgers and mutation-tested gates
PythonPydantic-AIMCPHatchetDuckDBClaude

Divi 5 Build Engine

Multi-site WordPress tooling

The system that built the Temperance House site — generalized into an engine any site profile can drive. Page builds are code, presets are a round-trip-proven library, and deploys refuse to ship anything that fails the guards.

  • Pre-ship shortcode linting and post-deploy escape-leak probes on every push
  • Preset library regenerated from the live database and drift-checked — 36/36 round-trip identity
  • Written to be operated cold by an AI agent: docs and mechanical checks over tribal knowledge
PHPWP-CLIBashPython

Homelab Platform

Infrastructure

The production floor for everything above: a Proxmox fleet running the development, inference, and management planes, with cloud LLM traffic consolidated behind one gateway.

  • LiteLLM gateway with a custom streaming-cache shim — ~82% cache hit rate on agent workloads
  • Durable job workers, uptime monitoring, reverse proxies, and a Tailscale mesh across every device
  • Managed like production: inventoried, monitored, and documented
ProxmoxDockerLiteLLMTailscaleLinux
Nº 03

How I work

the standard
Evidence over adjectives

“It works” is a claim; a passing gate is a fact. Parity proofs, mutation-tested suites, and verification probes before anything is called done.

Service instincts

Years of running dinner service teach you what dashboards can’t: stay calm under load, fix the system instead of the symptom, and never ship something you wouldn’t serve.

Legible systems

Every project above can be picked up cold — runbooks, guards, and documentation are part of the deliverable, not an afterthought.

Python · TypeScript · PHP · SQL — Postgres / DuckDB / Mongo · Docker · Proxmox · Caddy · Claude / MCP · Pydantic-AI · Hatchet · WordPress / Divi