Vigia

PyPI · pypi:python-sat

python-sat 有効

A Python library for prototyping with SAT oracles

python-sat の最新の安定版は 1.9.dev22 で、2026-11-11 に公開されました。Vigia が 2026-11-13 に確認しました。

最新の安定版1.9.dev22
公開日2026-11-11 01:57:38 UTC
インストールpip install --upgrade python-sat
要件指定なし
ライセンスMIT
最新バージョンのセキュリティ勧告既知のものなし
最終確認2026-11-13 20:17:27 UTC
出典pypi.org

メンテナンス

活動状況不明
最新の安定版—
直近 12 か月の安定版リリース数0
公開済みバージョン数183

公開日のみに基づく推定です。Issue やセキュリティ問題への対応時間は反映していません。

このデータを AI エージェントに渡す

Vigia は無料の MCP サーバーです。コーディングエージェントがコードを書く前に、バージョン・破壊的変更・脆弱性を確認できます。登録も API キーも不要です。

claude mcp add --transport http vigia https://vigia.coredls.cloud/mcp

Cursor に追加VS Code に追加★ GitHub でスターを付ける

その他の MCP クライアント
{ "mcpServers": { "vigia": { "url": "https://vigia.coredls.cloud/mcp" } } }

エージェント用スキル (SKILL.md)：Vigia を使うタイミングをエージェントに伝えます · プルリクエスト用 GitHub Action

よくある質問

python-sat の最新バージョンは？

python-sat の最新の安定版は 1.9.dev22 で、2026-11-11 に公開されました。Vigia が 2026-11-13 に確認しました。

python-sat の最新バージョンをインストールするには？

pip install --upgrade python-sat を実行します。最新の安定版は 1.9.dev22 です（2026-11-13 に確認）。

python-sat は非推奨ですか？

いいえ。python-sat はレジストリで非推奨とはされていません。

python-sat に必要な Python のバージョンは？

python-sat 1.9.dev22 は Python のバージョン要件を宣言していません。

python-sat 1.9.dev22 に既知の脆弱性はありますか？

Vigia が確認しているデータでは、python-sat 1.9.dev22 に影響する既知のセキュリティ勧告はありません。

確認された変更

関連パッケージ

README 用バッジ

このパッケージの最新バージョン、メンテナンス状況、非推奨かどうかを表示できます。Markdown をコピーしてください：

[![version](https://vigia.coredls.cloud/badge/pypi/python-sat/version.svg)](https://vigia.coredls.cloud/pypi/python-sat)
[![maintained](https://vigia.coredls.cloud/badge/pypi/python-sat/maintained.svg)](https://vigia.coredls.cloud/pypi/python-sat)
[![status](https://vigia.coredls.cloud/badge/pypi/python-sat/status.svg)](https://vigia.coredls.cloud/pypi/python-sat)

エージェント向け

GET https://vigia.coredls.cloud/v1/packages/pypi/python-sat
GET https://vigia.coredls.cloud/v1/packages/pypi/python-sat/versions/{version}