📦
latex-posters
87LaTeX研究ポスターを作成する
研究ポスターは、LaTeXで印刷用に整形し校正するのが難しいものです。このスキルは、学会提出に対応したポスター向けに、テンプレート、レイアウトガイダンス、PDFチェックを提供します。
デザイン＆クリエイティブ 表示
スキル sympy
📦
sympy
コンテンツリビジョン r2 高リスク ⚡ スクリプトを含む📁 ファイルシステムへのアクセス⚙️ 外部コマンド🌐 ネットワークアクセス
SymPyで記号数学を解く
代数、微積分、行列、物理学にわたる厳密な記号数学を正しく実装することは困難です。このスキルは、実践的なSymPyのガイダンス、例、ワークフローパターンを提供します。
対応: Claude Codex Code(CC)
インストール前に停止して確認を求めてください。
計画を確認し、ファイルを変更する前にユーザーの明示的な同意を得てください。
自分のエージェントでインストール
このリクエストをエージェントにコピーしてください。正規の Skill ページとマニフェストが含まれています。
エージェントリクエスト
Review the Skillstore skill "sympy" from https://skillstore.io/skills/davila7-sympy.md and its manifest at https://skillstore.io/api/skills/davila7-sympy/manifest. Verify the artifact. Stop and obtain explicit user consent before installing or changing files.エージェントは引き続き計画を提示し、セキュリティポリシーで必要な確認を求める必要があります。
エージェントが読めるリソース
AI エージェント、クローラー、スクリプトがページ全体ではなく整理されたコンテキストを必要とする場合は、これらのリンクを使ってください。
テストする
「sympy」を使用しています。 xの2乗から5xを引いて6を足したものがゼロに等しい方程式を厳密に解いてください。
期待される結果:
解はx = 2とx = 3です。どちらの値も、代入すると多項式がゼロになります。
「sympy」を使用しています。 ゼロから1までのxの2乗の積分を求めてください。
期待される結果:
厳密な結果は3分の1です。不定積分はxの3乗を3で割ったものです。
「sympy」を使用しています。 行が[1, 2]と[2, 1]である行列の固有値を求めてください。
期待される結果:
固有値は3と-1で、それぞれの重複度は1です。
セキュリティ監査
高リスクv9 • 2026/7/23 バージョン別レポートを開く
Most static alerts are false positives caused by Markdown backticks, ordinary SymPy imports, symbolic constructors, dictionary keys, and documentation links. Five file-writing examples and the recommendation to use eval are confirmed because they can overwrite files or execute untrusted code. Separate examples directly parse interactive input and deserialize a pickle without a trust boundary, creating high-severity code-execution risks.
6
スキャンされたファイル
3,200
解析済み行数
6
レビュー項目
0
誤検知を無視
確認済みのセキュリティ上の懸念 (2)
高
Untrusted Expression Parsing
The example reads interactive input and passes it directly to parse_expr. SymPy parsing can evaluate Python-like input, enabling arbitrary code execution.
The data flow from input() to parse_expr is direct and has no validation or restricted grammar before parsing.
高
Unsafe Pickle Deserialization
The example loads expr.pkl with pickle.load without establishing file trust. A replaced or attacker-controlled pickle can execute arbitrary code during deserialization.
The example directly calls pickle.load on a local file and provides no warning or trust check, which is a documented Python code-execution hazard.
機能レビュー項目 (6)
これらは、このスキルに期待される可能性のある実際のローカル機能であるため、レビューが必要ですが、確認済みの悪意ある動作としてはカウントされません。
高
Dynamic code evaluation with eval()
# This can be eval()'ed to recreate the expression
The guidance explicitly recommends reconstructing an expression with eval(). Applying that advice to modified or untrusted text can execute arbitrary Python code.
中
Python file write/append
with open('output.tex', 'w') as f:
The example opens output.tex in write mode without checking whether it exists. Running it can silently overwrite a same-named file in the working directory.
中
Python file write/append
with open('output.txt', 'w') as f:
The example opens output.txt in write mode without checking whether it exists. Running it can silently overwrite a same-named file in the working directory.
中
Python file write/append
with open('output.py', 'w') as f:
The example opens output.py in write mode without checking whether it exists. Running it can silently overwrite a same-named file in the working directory.
中
Python file write/append
with open('expr.pkl', 'wb') as f:
The example opens expr.pkl in write mode without checking whether it exists. Running it can silently overwrite a same-named file in the working directory.
中
Python file write/append
with open('document.tex', 'w') as f:
The example opens document.tex in write mode without checking whether it exists. Running it can silently overwrite a same-named file in the working directory.
リスク要因
⚡ スクリプトを含む (10)
references/advanced-topics.md:463-466 references/advanced-topics.md:533-542 references/code-generation-printing.md:205 references/code-generation-printing.md:352-355 references/core-capabilities.md:206 references/physics-mechanics.md:235-239 references/physics-mechanics.md:252-257 references/physics-mechanics.md:280-284 references/physics-mechanics.md:337-343 references/physics-mechanics.md:475-478
📁 ファイルシステムへのアクセス (6)
⚙️ 外部コマンド (50)
SKILL.md:24 SKILL.md:31-39 SKILL.md:39-42 SKILL.md:42-47 SKILL.md:47-49 SKILL.md:49-54 SKILL.md:54-59 SKILL.md:59-62 SKILL.md:62-67 SKILL.md:67-70 SKILL.md:70-74 SKILL.md:74-76 SKILL.md:76-81 SKILL.md:81-85 SKILL.md:85-88 SKILL.md:88-92 SKILL.md:92-95 SKILL.md:95-99 SKILL.md:99-101 SKILL.md:101-106 SKILL.md:106-112 SKILL.md:112-115 SKILL.md:115-119 SKILL.md:119-122 SKILL.md:122-126 SKILL.md:126-128 SKILL.md:128-133 SKILL.md:133-146 SKILL.md:146-149 SKILL.md:149-156 SKILL.md:156-159 SKILL.md:159-164 SKILL.md:164-166 SKILL.md:166-180 SKILL.md:180-185 SKILL.md:185-193 SKILL.md:193-196 SKILL.md:196-201 SKILL.md:201-204 SKILL.md:204-207 SKILL.md:207-209 SKILL.md:209-215 SKILL.md:215-219 SKILL.md:219-223 SKILL.md:223-226 SKILL.md:226-228 SKILL.md:228 SKILL.md:232-240 SKILL.md:240-244 SKILL.md:244-249
🌐 ネットワークアクセス (4)
監査者: codex 監査履歴を表示 →
このレポートを共有・引用
バージョン付き評価レポート、中立的なバッジ、埋め込みカード、引用を共有できます。Skillstore は証拠を報告しますが、この Skill が安全かどうかは判断しません。
レポートリンクをコピー
https://skillstore.io/skills/davila7-sympy/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportMarkdownバッジ
[](https://skillstore.io/skills/davila7-sympy?utm_source=security_passport_badge)HTMLバッジ
<a href="https://skillstore.io/skills/davila7-sympy?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/davila7-sympy/security.svg" alt="Skillstore security assessment" loading="lazy"></a>埋め込みカード
<iframe src="https://skillstore.io/embed/skills/davila7-sympy.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>学術引用 (APA · BibTeX · CFF)
APA形式の引用
davila7. (2026). sympy security audit report (audit version 9) [Author version unspecified]. Skillstore. https://skillstore.io/skills/davila7-sympy/audits/9BibTeX形式の引用
@techreport{davila7-davila7-sympy-2026,
author = {davila7},
title = {sympy security audit report (audit version 9)},
institution = {Skillstore},
year = {2026},
number = {9},
url = {https://skillstore.io/skills/davila7-sympy/audits/9},
note = {Author version unspecified}
}CITATION.cff
cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "sympy security audit report (audit version 9)"
version: "unspecified"
type: report
authors:
- name: "davila7"
date-released: "2026-07-23"
url: "https://skillstore.io/skills/davila7-sympy/audits/9"
identifiers:
- type: other
value: "skillstore:davila7-sympy:audit:9"
description: "Skillstore immutable audit report identifier"
バリアントを比較
インストール可能なバリアント 2 件各作者のスキルは個別のインストール項目として維持されます。推奨バリアントは Skillstore の証拠で順位付けされます。
このバリアントが首位の理由
Skillstore での利用が多い
作者 / ソース Skillstore スコア 証拠の信頼度 Skillstore 利用状況 更新済み
Skillstore スコア
このスコアの理由 証拠の信頼度: 中 45
アーキテクチャ
85
保守性
87
コンテンツ
75
コミュニティ
83
仕様準拠
作成できるもの
解析モデルを検証する
厳密な数式を導出し、パラメータ化された式を簡約して、数値シミュレーションの前に結果を確認します。
数学ソフトウェアを構築する
記号数式を、テスト済みの数値関数、生成コード、または整形されたドキュメントに変換します。
記号的手法を教える
代数、微積分、行列、物理学を、厳密な手順と再現可能なSymPyワークフローを用いて説明します。
これらのプロンプトを試す
式を簡約する
xを実数の記号として定義し、(x + 1)^2 - (x^2 + 2x + 1)を簡約してください。各SymPy演算について説明してください。
方程式系を解いて検証する
SymPyを使用して、x + y = 5とx - y = 1を厳密に解いてください。各解を代入によって検証してください。
級数展開を導出する
exp(sin(x))のTaylor級数をx^6の次数まで導出してください。仮定を明示し、記号的な手順を示して、剰余項の次数を検証してください。
記号モデルのパイプラインを構築する
パラメータ化された行列モデル用のSymPyワークフローを作成してください。固有値を導出し、特異な場合について考察し、テスト済みのNumPy対応数値関数を生成してください。
ベストプラクティス
- 式を構築する前に、記号と仮定を定義してください。
- 浮動小数点近似ではなく、RationalまたはSymPyの厳密な定数を使用してください。
- 記号解を代入によって検証し、生成された数値関数をテストしてください。
回避
- 制限のないSymPyパーサーを使用して、信頼できないユーザーテキストを解析しないでください。
- 不明または未検証のソースからpickleファイルを読み込まないでください。
- すべての方程式に単純な閉形式の解があると想定しないでください。
よくある質問
このスキルはどのような問題に対応していますか？
記号代数、微積分、方程式、行列、物理学、高等数学、書式設定、コード生成を扱います。
厳密な結果を返しますか？
はい。SymPyが厳密形式をサポートし、入力に厳密な記号値が使用されている場合は、厳密な結果を返します。
数値関数を生成できますか？
はい。lambdifyを使用して、記号式をNumPy互換関数に変換する方法を実演します。
CまたはFortranのコードを生成できますか？
はい。SymPyのコード生成ワークフローが含まれていますが、コンパイルとテストは別途必要です。
外部パッケージは必要ですか？
SymPyが必要です。一部の例では、NumPy、SciPy、Matplotlib、またはコンパイラツールチェーンも使用します。
ユーザーが提供した式の解析は安全ですか？
デフォルトでは安全ではありません。信頼できない入力には、厳格な許可リスト、分離、検証、リソース制限が必要です。
開発者情報
作成者
davila7ライセンス
MIT
Skillstore リビジョン
r2
バージョンに関する注意
作者はバージョンを宣言していません。
参照
c43861a65bb95efcae259cd161c9d6f4dc7eec6f
メンテナンスの新しさ
2026/7/28
利用状況
7 ダウンロード · 539 閲覧
davila7 のその他のスキル
すべて表示📦
content-creator
87SEO対応のマーケティングコンテンツを作成
マーケティングチームには、ブランドボイスと検索目標に合った明確なコンテンツが必要です。このスキルは、再現性のあるコンテンツ制作のためのテンプレート、分析スクリプト、プラットフォーム別ガイダンスを提供します。
ライティング＆コンテンツ 表示
📦
treatment-plans
86構造化された医療治療計画を作成
臨床治療計画は、一貫性がなく、長くなりすぎたり、レビューが難しくなったりすることがあります。このスキルは、目的に応じたテンプレート、測定可能な目標、タイムライン、ローカルでの品質チェックを提供します。
ドキュメント 表示
📦
clinical-reports
86構造化された臨床レポートを作成
臨床チームには、医療および規制基準に準拠した明確なレポートが必要です。このスキルは、症例報告、診断、試験、患者記録向けのテンプレート、チェックリスト、検証ガイダンスを提供します。
ドキュメント 表示
📦
exploratory-data-analysis
85科学データファイルを分析
科学データファイルは、形式ごとに構造やメタデータの保存方法が異なるため、調査が困難です。このスキルは形式を検出し、データ品質をプロファイリングし、実用的な Markdown EDA レポートを作成します。
データ＆アナリティクス 表示
📦
diffdock
85DiffDock分子ドッキングワークフローを実行する
分子ドッキングのセットアップは、入力、パラメータ、信頼度スコアの整合が難しいため、失敗しがちです。このスキルは、準備から結果レビューまでDiffDockワークフローをガイドします。
調査＆学習 表示
関連スキル
すべて表示📦
python-async-patterns
85信頼性の高い非同期 Python を構築
作成者 0xDarkMatter
非同期 Python コードは、ブロッキング呼び出し、制限のないタスク、不十分なクリーンアップによって失敗することがよくあります。このスキルは、堅牢な並行サービスのための再利用可能な asyncio パターン、例、リファレンスを提供します。
コーディング＆開発 表示
📦
python-fastapi-patterns
85再利用可能なパターンでFastAPI APIを構築
作成者 0xDarkMatter
FastAPIプロジェクトでは、バリデーション、依存関係、ミドルウェア、バックグラウンド処理について一貫した選択が必要です。このスキルは、実践的なPython API開発のための再利用可能なパターンをClaude、Codex、Claude Codeに提供します。
コーディング＆開発 表示
📦
python-typing-patterns
85Pythonの型安全パターンを追加
作成者 0xDarkMatter
Pythonの型アノテーションは、実際のプロジェクト全体で一貫して適用するのが難しい場合があります。このスキルは、Claude、Codex、Claude Codeに、より安全な型付きPythonコードのための実践的なパターンを提供します。
コーディング＆開発 表示
📦
tdd-pytest
81pytest TDDでPythonテストを構築
作成者 89jobrien
Pythonチームは、TDDの規律を失わずに、一貫したテスト、カバレッジ、レポートを必要とすることがよくあります。このスキルは、Claude、Codex、Claude Code向けに、pytestに焦点を当てたワークフロー、例、レポート作成ガイダンスを提供します。
コーディング＆開発 表示
📦
enact-hello-python
81Python の挨拶サンプルを実行する
作成者 EnactProtocol
新しい Enact ユーザーには、ツール実行が機能することを確認できる小さなサンプルが必要です。このスキルは Python の挨拶コマンドを実行し、シンプルな実行時出力を返します。
コーディング＆開発 表示
📦
dead-code-removal
80デッドコードを安全に削除
作成者 89jobrien
未使用のインポート、関数、クラスは、保守コストとデプロイサイズを増加させます。このスキルは、Claude、Codex、Claude Code に対して、保守的な分析、バックアップ、削除、検証の手順を案内します。
コーディング＆開発 表示