Deed

未申請

作者: deed-lang

The Deed programming language. Built for code that agents write and humans review.

programming-languagelanguagecapability-based-securitycompilerdesign-by-contracteffect-systeminterpreterrefinement-typesrusttype-checker

インストール

$cargo install deed-lang

サーバーをセットアップ

このサーバーには個別の設定が必要です。再利用可能な公開起動コマンドがないため、プロジェクトの手順に従ってください。

Securityの他のサーバー

未申請リスティング

このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。

セキュリティプロファイル

申請済みおよび認証済みのサーバーは毎週の静的スキャンを受け、コードが到達できる範囲（外部サービス、環境変数、シェルコマンド、エージェント設定フォルダ）と既知のアドバイザリを持つ依存関係が表示されます。このリスティングを申請すると利用できます。セキュリティプロファイルの仕組み

同じ設定での完全なチェック同士を比較します。ツールの列挙のみで実行はしていません。入力スキーマの変更は測定していません。

完全なツールチェックはまだありません。