開発者向けツール

Kubernetes、GPU、cloud、eBPF、NPU、Differential Privacy、LLM serving、EU Cyber Resilience Act (CRA)準備の工数見積もり向け開発者用チェッカーとエンジニアリング計算ツールです。

日付文字列移植性チェッカー

日付・時刻文字列が曖昧でないか、複数の実行環境で移植可能か確認します。

Differential Privacy Epsilon Budget Calculator

basic sequential composition for pure DPに基づき、予定する公開後のepsilon残量を計算します。

.env移植性事前チェック

Nodeのdotenv、Docker/Docker Compose、POSIXシェルで異なる動作をする.env値を検出します。

eBPF Probe Overhead Budget

イベント頻度とprobeの実測overheadからeBPFのCPU使用量を見積もり、予算と比較します。

EU Cyber Resilience Act (CRA) Compliance Cost & Sizing Estimator

ユーザーが定めたEU Cyber Resilience Act (CRA)準備作業の工数、FTE、初年度費用を見積もります。法的適用性やcomplianceは判定しません。

Graviton vs x86 Migration Payback Estimator

x86からGravitonへ移行する場合の月間コスト削減額と単純回収期間を見積もります。

Kubernetes GPU Autoscaler Replica Planner

実測したリクエスト負荷から必要なKubernetes replica数とGPU台数を見積もります。

LLM Context-Window Token Cost & Latency Sizer

LLMのcontext window適合性、token費用、prefill/decode latency、同時実行時のKV cache容量を見積もります。

ML-DSA Certificate-Chain Byte Budget

ML-DSAの鍵・署名サイズとDER/TLSの追加バイト数を使い、certificate chainのbyte budgetを確認します。

On-Device NPU Bottleneck Calculator

演算性能とメモリ帯域を比較し、on-device NPU推論の主なボトルネックを見積もります。

正規表現移植性チェッカー

正規表現がPythonやPCRE系エンジンでも同様に動作するか確認します。

SQL識別子移植性チェッカー

テーブル名・カラム名を複数データベースの予約語と引用規則に照らして確認します。

URLパーサー差チェッカー

通常とは異なる、または曖昧なURLを複数のパーサーがどう解釈するかを示します。

パッケージバージョン形式変換

SemVerとPEP 440のバージョン文字列を検証し、形式間の互換性を確認します。

YAML実行環境横断事前チェック

CI、Docker Compose、Kubernetesなど複数のYAML利用環境で挙動が揃うか確認します。

YAML意味差チェッカー

YAML 1.1とYAML 1.2の規則で、同じYAML値がどう異なって解釈されるかを比較します。

これらのチェッカーで分かること

同じ入力でもパーサーによって意味が変わることがあります。たとえば、YAMLの`no`はライブラリによって文字列または真偽値になり、日付はある環境で受理され別の環境で拒否され、URLもパーサーによって異なる構成要素に分けられる場合があります。各ツールは本番環境に届く前に見つけられるよう、具体的に文書化された差を検査します。

問題なしでも保証にはなりません

問題が検出されなかったという結果は、検査対象の規則に該当しなかったという意味であり、すべてのパーサーやバージョンの動作が同一という保証ではありません。対象を絞ったレビューの補助として使い、実際の実行環境のテストでも確認してください。

プライバシーと機密データ

各チェックはページ上でローカルに実行され、貼り付けた内容をアップロードしません。それでも、どのウェブサイトにも設定値を貼る前に秘密情報を削除してください。