このレポートには指定された言語の翻訳がありません。代わりに正規の英語レポートを表示しています。

バージョン付きセキュリティ評価

レポートID: SA-93654D65

7/6/2026, 10:18:22 AM

ensembl-database セキュリティ評価 v9

スキルセキュリティ認証レポート

監査履歴
監査モデル: codex 過去のレポート
スキル名
ensembl-database
バージョン
v9
メンテナー
davila7
カバレッジ
3 スキャンされたファイル · 1,081 解析済み行数
ポリシーバージョン
利用不可

確認済み検出結果の概要

確認済みのセキュリティ上の指摘はありません

完了した監査では、確認済みのセキュリティ上の検出事項は記録されませんでした。これは、Skill に副作用がないことの証明ではありません。

インストールのコンテキスト

履歴上の証拠

このレポートは、現在インストール可能な成果物を説明していない可能性があります。インストールに関するガイダンスについては、現在の Skill ページを開いてください。

現在のスキルページを開く

このレポートは、マニフェストまたは ZIP をブロックも承認もしません。

The confirmed findings are expected outbound Ensembl REST requests from the helper script and documentation examples. I found no prompt injection, malware intent, credential access, local system reconnaissance, or automatic shell execution.

レポートの位置

過去のレポート

このレポートを使用してインストールする前に、監査履歴を開いてください。

監査アテステーション

証明不可

必要な不変のバインディングは不完全です。

人による検証

未検証

このレポートには人による検証は記録されていません。

カバレッジ

3 スキャンされたファイル · 1,081 解析済み行数

レビュー対象の項目を 24 件表示

制限事項

このレポートはランタイムまたはサンドボックスでの実行を主張するものではなく、副作用がないことを証明するものでもありません。

証拠チェーン

ソースバインディングからインストール契約まで証拠をたどってください。利用可能な証拠は検証を支援しますが、安全性を保証するものではありません。

  1. ソース

    バインディングは利用できません

  2. アーティファクト

    IDが不完全

  3. 監査

    完了

  4. インストール契約

    検証するためにマニフェストを開く

    マニフェストを開く

確認された機能

「確認」とは、このレポートで裏付けとなる証拠が記録されていることを意味します。「記録なし」は、機能が存在しないことを証明するものではありません。

スクリプトを含む

Skillに含まれるコードを実行する場合があります。

この監査では記録されていません

ネットワークアクセス

外部サービスに接続する場合があります。

31 件の証拠箇所で確認

ファイルシステムへのアクセス

ローカルファイルの読み取りまたは書き込みを行う可能性があります。

この監査では記録されていません

環境変数

プロセス環境から値を読み取る可能性があります。

この監査では記録されていません

外部コマンド

Skillの外部にあるコマンドまたはプログラムを呼び出す場合があります。

31 件の証拠箇所で確認

機能レビュー項目 (24)
低
HTTP client library
def _make_request(
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
result = self._make_request(endpoint)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
HTTP client library
return self._make_request(endpoint)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
Python HTTP libraries
response = requests.post(url, headers=headers, json=data)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
Python HTTP libraries
response = requests.get(url, headers=headers, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
Python HTTP libraries
response = requests.get(url, headers=headers, params=params)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
Python HTTP libraries
response = requests.get(url, headers=headers)
This code path performs outbound HTTP requests to the configured Ensembl REST server. The risk is limited to expected disclosure of gene, variant, species, or region query terms.
低
Hardcoded URL
def __init__(self, server: str = "https://rest.ensembl.org", rate_limit: int = 15):
The script hardcodes official Ensembl REST servers and sends requests to external infrastructure. This is expected, but user query terms leave the local environment.
低
Hardcoded URL
server = "https://rest.ensembl.org"
The script hardcodes official Ensembl REST servers and sends requests to external infrastructure. This is expected, but user query terms leave the local environment.
低
Hardcoded URL
server = "https://grch37.rest.ensembl.org"
The script hardcodes official Ensembl REST servers and sends requests to external infrastructure. This is expected, but user query terms leave the local environment.
低
Python HTTP libraries
response = requests.get(
The documentation instructs users to query Ensembl REST over HTTPS. This is core skill behavior, but it sends user-supplied genomic query terms to an external service.
低
Python HTTP libraries
response = requests.get(
The documentation instructs users to query Ensembl REST over HTTPS. This is core skill behavior, but it sends user-supplied genomic query terms to an external service.
低
Hardcoded URL
server = "https://rest.ensembl.org"
The documentation instructs users to query Ensembl REST over HTTPS. This is core skill behavior, but it sends user-supplied genomic query terms to an external service.
低
Hardcoded URL
**Important:** Use `https://grch37.rest.ensembl.org` for GRCh37/hg19 queries and `https://rest.ensem
The documentation instructs users to query Ensembl REST over HTTPS. This is core skill behavior, but it sends user-supplied genomic query terms to an external service.
低
Hardcoded URL
server = "https://rest.ensembl.org"
The documentation instructs users to query Ensembl REST over HTTPS. This is core skill behavior, but it sends user-supplied genomic query terms to an external service.

リスク指摘

確認済みのセキュリティ上の懸念事項は、引き続きレビューが必要な項目と分けて表示されます。

この完了済み監査には、確認済みのセキュリティ検出事項は記録されていません。

是正措置

この監査で推奨される修正が記録されています。これらを適用する責任はメンテナーにあります。

  1. FIX-001
    低
    Outbound Ensembl requests disclose user query terms.
    Document that gene symbols, variants, regions, and species names are sent to Ensembl REST servers.
  2. FIX-002
    低
    Documentation includes optional package installation commands.
    State that package installation requires user approval and prefer pinned versions in examples.
  3. FIX-003
    低
    Path values are interpolated into REST endpoint strings.
    URL-encode or validate species, gene, variant, and region path segments before requests.

専門家による証拠

不変の対象ID、スキャナーメタデータ、除外された一致項目、およびソースレベルの証拠。

アーティファクト主体

Marketplace コミット
利用不可
コンテンツハッシュ
利用不可
ツリーハッシュ
利用不可
Skill パス
利用不可
監査ペイロードハッシュ
利用不可

分析メタデータ

監査モデル: codex

分析状態: 完了

対象範囲は、記録されたファイル、行、メソッド、および証拠に限定されます。ランタイムまたはサンドボックスでの実行は主張していません。

検証とエクスポート

マニフェストとロックファイルは、インストール成果物を暗号学的ハッシュに結び付けます。この完全性に関する主張は、セキュリティ評価とは別のものです。

監査アテステーション: not_attestable