Projects

• 2026emend

  Verified AI dependency migrations. Finds which of your lines a version bump actually breaks, fixes them, and proves the result still compiles and passes your tests.

• 2025agent-warmup

  Experiments in reducing cold-start latency for agent runtimes.