Projects

Codex と Claude の履歴をローカルで全文検索し、目的のセッションをすばやく再開するための TUI ツール。

npm と Python の依存関係を対象に、サプライチェーンリスクをレビューする CLI / GitHub Action。

ビジネスルールモデルの有限状態検証を行う Rust DSL。

海外の技術掲示板をもとに、LLM で翻訳・再構成した内容を Podcast として配信するシステム。

Cosense（Scrapbox）上で研究論文を管理するためのアドオン。