スキル sympy

📦

sympy

Name: sympy
Author: davila7

コンテンツリビジョン r2 高リスク ⚡ スクリプトを含む📁 ファイルシステムへのアクセス⚙️ 外部コマンド🌐 ネットワークアクセス

使用 SymPy 解決符號數學問題

要在代數、微積分、矩陣和物理學等領域正確實作精確的符號數學並不容易。此技能提供實用的 SymPy 指引、範例和工作流程模式。

対応: Claude Codex Code(CC)

⚠️ 38 不十分

Maintain this Skill? Claim it ⚠️ 38 不十分

インストール前に停止して確認を求めてください。

計画を確認し、ファイルを変更する前にユーザーの明示的な同意を得てください。

自分のエージェントでインストール

このリクエストをエージェントにコピーしてください。正規の 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 エージェント、クローラー、スクリプトがページ全体ではなく整理されたコンテキストを必要とする場合は、これらのリンクを使ってください。

Markdown詳細 GET /skills/davila7-sympy.md 署名済み manifest GET /api/skills/davila7-sympy/manifest 署名済み lockfile GET /api/skills/davila7-sympy/lockfile

テストする

「sympy」を使用しています。精確求解 x 平方減 5x 加 6 等於零。

期待される結果:

解：x = 2 和 x = 3。代入這兩個值後，多項式皆為零。

「sympy」を使用しています。計算 x 平方從零到一的積分。

期待される結果:

精確結果：三分之一。其反導函數為 x 的三次方除以三。

「sympy」を使用しています。求列為 [1, 2] 和 [2, 1] 的矩陣之特徵值。

期待される結果:

特徵值為 3 和 -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.

スキャンされたファイル

3,200

解析済み行数

レビュー項目

誤検知を無視

確認済みのセキュリティ上の懸念 (2)

高

references/code-generation-printing.md:529-530

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.

高

references/code-generation-printing.md:423-424

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)

これらは、このスキルに期待される可能性のある実際のローカル機能であるため、レビューが必要ですが、確認済みの悪意ある動作としてはカウントされません。

高

references/code-generation-printing.md:205

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.

中

references/code-generation-printing.md:395

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.

中

references/code-generation-printing.md:399

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.

中

references/code-generation-printing.md:403

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.

中

references/code-generation-printing.md:419

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.

中

references/code-generation-printing.md:516

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)

references/code-generation-printing.md:395 references/code-generation-printing.md:399 references/code-generation-printing.md:403 references/code-generation-printing.md:419 references/code-generation-printing.md:516 references/code-generation-printing.md:559

⚙️ 外部コマンド (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)

SKILL.md:491 SKILL.md:492 SKILL.md:493 SKILL.md:494

監査者: codex 監査履歴を表示 →

このレポートを共有・引用

バージョン付き評価レポート、中立的なバッジ、埋め込みカード、引用を共有できます。Skillstore は証拠を報告しますが、この Skill が安全かどうかは判断しません。

バージョン別レポートを開く

レポートリンクをコピー

https://skillstore.io/skills/davila7-sympy/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Markdownバッジ

[![Skillstore security assessment](https://skillstore.io/badges/skills/davila7-sympy/security.svg)](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/9

BibTeX形式の引用

@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 利用状況更新済み

K-Dense-AI 推奨

k-dense-ai-sympy

Skillstore スコア 38

証拠の信頼度中

Skillstore 利用状況 21

更新済み

2026-09-09

davila7 現在

davila7-sympy

Skillstore スコア 38

証拠の信頼度中

Skillstore 利用状況 15

更新済み

2026-09-09

Skillstore スコア

このスコアの理由証拠の信頼度: 中

アーキテクチャ

保守性

コンテンツ

コミュニティ

仕様準拠

作成できるもの

驗證分析模型

推導精確公式、化簡參數化運算式，並在數值模擬前檢查結果。

建構數學軟體

將符號公式轉換為經測試的數值函數、產生的程式碼或格式化文件。

教授符號方法

透過精確步驟和可重現的 SymPy 工作流程，講解代數、微積分、矩陣和物理學。

これらのプロンプトを試す

化簡運算式

將 x 定義為實數符號，並化簡 (x + 1)^2 - (x^2 + 2x + 1)。說明每個 SymPy 運算。

求解並驗證方程組

使用 SymPy 精確求解 x + y = 5 和 x - y = 1。透過代換驗證每個解。

推導級數展開

推導 exp(sin(x)) 到 x^6 階的泰勒級數。說明假設、展示符號推導步驟，並驗證餘項的階數。

建構符號模型管線

為參數化矩陣模型建立 SymPy 工作流程。推導特徵值、討論奇異情況，並產生經測試且可供 NumPy 使用的數值函數。

ベストプラクティス

在建構運算式之前，先定義符號和假設。
使用 Rational 或 SymPy 的精確常數，而非浮點近似值。
透過代換驗證符號解，並測試產生的數值函數。

回避

請勿使用不受限制的 SymPy 剖析器來剖析不受信任的使用者文字。
請勿載入來源不明或未經驗證的 pickle 檔案。
請勿假設每個方程都有簡單的閉合形式解。

よくある質問

此技能涵蓋哪些問題？

涵蓋符號代數、微積分、方程、矩陣、物理學、進階數學、格式化和程式碼產生。

它會傳回精確結果嗎？

是的，前提是 SymPy 支援精確形式，且輸入使用精確的符號值。

它能產生數值函數嗎？

可以。它會示範如何使用 lambdify，將符號運算式轉換為與 NumPy 相容的函數。

它能產生 C 或 Fortran 程式碼嗎？

可以。它包含 SymPy 程式碼產生工作流程，但仍需進行編譯和測試。

它需要外部套件嗎？

需要 SymPy。部分範例還會使用 NumPy、SciPy、Matplotlib 或編譯器工具鏈。

剖析使用者提供的運算式安全嗎？

預設並不安全。不受信任的輸入需要嚴格的允許清單、隔離、驗證和資源限制。

開発者情報

作成者

davila7

ライセンス

MIT

Skillstore リビジョン

バージョンに関する注意

作者はバージョンを宣言していません。

リポジトリ

https://github.com/davila7/claude-code-templates/tree/main/cli-tool/components/skills/scientific/sympy

参照

c43861a65bb95efcae259cd161c9d6f4dc7eec6f

メンテナンスの新しさ

2026/7/28

利用状況

7 ダウンロード · 539 閲覧

ファイル構成

📁 references/

📄 advanced-topics.md

📄 code-generation-printing.md

📄 core-capabilities.md

📄 matrices-linear-algebra.md

📄 physics-mechanics.md

📄 SKILL.md

davila7 のその他のスキル

すべて表示

📦

latex-posters

建立 LaTeX 研究海報

研究海報在 LaTeX 中很難排版，也很難為列印進行校對。此技能提供範本、版面配置指引，以及適用於會議就緒海報的 PDF 檢查。

デザイン＆クリエイティブ表示

📦

content-creator

建立 SEO 就緒的行銷內容

行銷團隊需要符合品牌語氣與搜尋目標的清晰內容。此技能提供範本、分析腳本與平台指引，協助可重複的內容製作。

ライティング＆コンテンツ表示

📦

treatment-plans

建立結構化醫療治療計畫

臨床治療計畫往往會變得不一致、冗長或難以審查。此技能提供聚焦的範本、可衡量的目標、時程，以及本機品質檢查。

ドキュメント表示

📦

clinical-reports

建立結構化臨床報告

臨床團隊需要符合醫療與法規標準的清晰報告。此技能提供範本、檢查清單與驗證指引，適用於病例報告、診斷、試驗與病人紀錄。

ドキュメント表示

📦

exploratory-data-analysis

分析科學資料檔案

科學資料檔案很難檢查，因為每種格式儲存結構與中繼資料的方式都不同。此技能會偵測格式、剖析資料品質，並建立實用的 Markdown EDA 報告。

データ＆アナリティクス表示

📦

diffdock

執行 DiffDock 分子對接工作流程

分子對接設定常因輸入、參數與信心分數難以對齊而失敗。此技能會引導 DiffDock 工作流程，從準備到結果檢閱。

調査＆学習表示

すべて表示

📦

python-async-patterns

建構可靠的 Async Python

作成者 0xDarkMatter

Async Python 程式碼經常因阻塞呼叫、未受限制的任務，以及薄弱的清理機制而失敗。此 skill 提供可重複使用的 asyncio 模式、範例與參考資料，用於打造穩健的並行服務。

コーディング＆開発表示

📦

python-fastapi-patterns

使用可重用模式建置 FastAPI API

作成者 0xDarkMatter

FastAPI 專案需要在驗證、依賴項、middleware 和背景工作方面做出一致的選擇。這項技能為 Claude、Codex 和 Claude Code 提供可重用模式，用於實務 Python API 開發。

コーディング＆開発表示

📦

python-typing-patterns

新增 Python 型別安全模式

作成者 0xDarkMatter

Python 型別註解在實際專案中可能難以一致套用。此 skill 為 Claude、Codex 和 Claude Code 提供實用模式，用於撰寫更安全的 typed Python code。

コーディング＆開発表示

📦

tdd-pytest

使用 pytest TDD 建置 Python 測試

作成者 89jobrien

Python 團隊經常需要一致的測試、覆蓋率和報告，同時不失去 TDD 紀律。此技能為 Claude、Codex 和 Claude Code 提供以 pytest 為核心的工作流程、範例與報告指南。

コーディング＆開発表示

📦

enact-hello-python

執行 Python 問候範例

作成者 EnactProtocol

新的 Enact 使用者需要一個小範例來證明工具執行能正常運作。此 skill 會執行一個 Python 問候指令，並回傳簡單的執行階段輸出。

コーディング＆開発表示

📦

dead-code-removal

安全移除無用程式碼

作成者 89jobrien

未使用的 imports、functions 和 classes 會增加維護成本與部署大小。此 skill 會引導 Claude、Codex 和 Claude Code 進行保守分析、備份、移除與驗證。

コーディング＆開発表示

sympy

自分のエージェントでインストール

エージェントが読めるリソース

テストする

セキュリティ監査

確認済みのセキュリティ上の懸念 (2)

リスク要因

レポートリンクをコピー

Markdownバッジ

HTMLバッジ

埋め込みカード

APA形式の引用

BibTeX形式の引用

CITATION.cff

バリアントを比較

Skillstore スコア

作成できるもの

驗證分析模型

建構數學軟體

教授符號方法

これらのプロンプトを試す

ベストプラクティス

回避

よくある質問

開発者情報

davila7 のその他のスキル

latex-posters

content-creator

treatment-plans

clinical-reports

exploratory-data-analysis

diffdock

関連スキル

python-async-patterns

python-fastapi-patterns

python-typing-patterns

tdd-pytest

enact-hello-python

dead-code-removal