活動ログ
> 技術記事・DevOps・インフラ・セキュリティの活動記録
dotfiles にも CI を — 破壊的インストーラの冪等性を Ubuntu と Kali の二役で検証する
自分の開発環境が、ある日再現できなくなる 開発環境を1本のスクリプトにまとめている。シェル設定・プロンプト・ターミナルマルチプレクサ・言語ランタイム・クラウドCLIを、./setup_env.sh 一発で入れる。最終的に 1,358 行になった。新しいマシンでも、OS を入れ直した後でも、同じ環境が …
「秘密が漏れない」を Lean で証明して CI ゲートにした Rust CLI のリリースパイプライン
「テストが緑」で満足できなかった理由 エージェントに本物の API キーを渡さずに動かす CLI ツールを開発している。守りたい性質はシンプルで、子プロセスに本物の鍵を渡さないこと。ここが崩れれば、このツールを使う意味はない。 ただ、テストが通っているだけでは確認として物足りなかった。テストが言える …
homelab を Ansible でコード化する — fail-closed な多層防御インフラ
自宅サーバを丸ごとコードにした話 自宅サーバ（homelab）で AI エージェント基盤を動かすために、コンテナランタイム、ネットワーク分離、暗号化DNS、カーネル緩和、監査ログまで一通り手で組んだ。動くには動いたのだが、ひとつ不安が残った。OS を入れ直したとき、同じものをもう一度作れる自信が無か …
Docker Desktopが重いからWSL2でLazyDockerに移行してみた
開発環境のメモリ不足、深刻ですよね。 PCにメモリを32GB積んでいてもブラウザ、IDE、そして最近ではローカルLLM（Ollama等）を同時に立ち上げると、リソースはあっという間に枯渇します。 タスクマネージャーを見ると、常に上位に居座っているのが Docker Desktop 関連のプロセスや、 …
Bridge不要のProtonMail MCPサーバーを作った
課題 既存のProtonMail MCPサーバーは全てProton Bridge（有料デスクトップアプリ）が必要。 無料のProtonMailユーザーはAIアシスタントとメールを連携する手段がない。 GitHubで11個のProtonMail MCPプロジェクトを調査した。 全てBridge必須だっ …