Projects

Most of my time outside work goes into Themis, a platform for tracking vulnerabilities in the software you ship, and the tooling around it. All of these are open source on GitHub.

Themis

Open-source security-intelligence backend. It ingests SBOM and VEX documents, correlates components against NVD and OSV CVE feeds, and turns the results into prioritised, triaged findings — without touching your build system.

  • Go
  • PostgreSQL
  • Security

themis-ai-runtime

The AI execution layer for Themis: a governed harness that runs model-backed work under deterministic control, plus a benchmark suite for the models behind it. Model output stays advisory.

  • Go
  • AI
  • Governance

chopin

My development orchestrator for the Themis platform. It drives a plan → build → test → review loop with one model as architect and reviewer and another as implementer, over local Git and a small MCP server.

  • Python
  • MCP
  • Agents

system-design-notes

My study notes on system design: caching strategies and eviction, CAP and consistency levels, clocks, and summaries of research papers.

  • Notes
  • Distributed systems