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

배포일만을 기준으로 한 추정치이며, 이슈나 보안 문제에 대한 대응 시간은 반영하지 않습니다.

이 데이터를 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}