コミュニティのプロジェクトブラウザ・エージェント

Pi Jev by y0usaf

開発者 y0usaf

Pi の中で、型付きの判断層として Jev を利用します。

プロジェクトを見る

実装の概要

操作前の確認、出力の評価、jev_ask ツールを備えた拡張機能です。シャドーモードで開始し、強制適用と失敗時の動作は別途説明されています。

テーマ

Pitool checkstyped answers

リクエストの例

プロジェクトを組み込む前に、小さなサンプルを編集して実際のリクエストをコピーできます。

リクエストを試す