View ms-ivy on Snyk Open Source Advisor

Package Health Score

51 / 100

security
No known security issues
popularity
Limited
maintenance
Inactive
community
Sustainable

Popularity

Limited

GitHub Stars: 225
Forks: 80
Contributors: 20

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package ms-ivy, we found that it has been starred 225 times.

Security

No known security issues

Security and license risk for latest version

Release Date: Dec 5, 2023
Direct Vulnerabilities: 0
C
0
H
0
M
0
L
Indirect Vulnerabilities: 0
C
0
H
0
M
0
L
License Risk: 0
H
0
M
0
L

All security vulnerabilities belong to production dependencies of direct and indirect packages.

License

MIT

Security Policy

We found a way for you to contribute to the project! Looks like ms-ivy is missing a security policy.

You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Inactive

archived

Commit Frequency

No Recent Commits

Open Issues: 29
Open PR: 11
Last Release: 11 months ago
Last Commit: 4 years ago

Further analysis of the maintenance status of ms-ivy based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Inactive.

We found that ms-ivy demonstrates a positive version release cadence with at least one new version released in the past 12 months.

In the past month we didn't find any pull request activity or change in issues status has been detected for the GitHub repository.

Community

Sustainable

Readme: Yes
Contributing.md: No
Code of Conduct: Yes
Contributors: 20
Funding: No

With more than 10 contributors for the ms-ivy repository, this is possibly a sign for a growing and inviting community.

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Ensure all the packages you're using are healthy and well-maintained

Snyk Vulnerability Scanner

Get health score & security insights directly in your IDE

Package

Python Versions Compatibility: Unspecified

Age: 5 years
Latest Release: 11 months ago
Dependencies: 5 Direct
Versions: 29
Maintainers: 1
Wheels: macOS

Readme

# ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

## Further Reading

For further information on IVy, see [the IVy web site]().

ms-ivy dependencies

applescript ply pydot pyparsing tarjan

FAQs

What is ms-ivy?

IVy verification tool. Visit Snyk Advisor to see a full health score report for ms-ivy, including popularity, security, maintenance & community analysis.

Is ms-ivy popular?

The python package ms-ivy receives a total of 230 weekly downloads. As such, ms-ivy popularity was classified as limited. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is ms-ivy well maintained?

We found indications that ms-ivy is an Inactive project. See the full package health analysis to learn more about the package maintenance status.

Is ms-ivy safe to use?

The python package ms-ivy was scanned for known vulnerabilities and missing license, and no issues were found. Thus the package was deemed as safe to use. See the full health analysis review.

Last updated on 8 November-2024, at 11:20 (UTC).

Build a secure application checklist

Select a recommended open source package

Minimize your risk by selecting secure & well maintained open source packages

DONE

Scan your app for vulnerabilities

Scan your application to find vulnerabilities in your: source code, open source dependencies, containers and configuration files

SCAN NOW

Fix identified vulnerabilities

Easily fix your code by leveraging automatically generated PRs

AUTO FIX

Monitor for new issues

New vulnerabilities are discovered every day. Get notified if your application is affected

MONITOR APP

ms-ivy

IVy verification tool For more information about how to use this package see README

Ensure you're using the healthiest python packages

Package Health Score

Popularity

Direct Usage Popularity

Security

Security and license risk for latest version

Maintenance

Commit Frequency

Community

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Package

Readme

ms-ivy dependencies

FAQs

What is ms-ivy?

Is ms-ivy popular?

Is ms-ivy well maintained?

Is ms-ivy safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Fix identified vulnerabilities

Monitor for new issues

Package Health Score

Direct Usage Popularity

Security and license risk for latest version

Commit Frequency

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Readme

ms-ivy dependencies

FAQs

What is ms-ivy?

Is ms-ivy popular?

Is ms-ivy well maintained?

Is ms-ivy safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Source Code

Open Source

Container

Config

Fix identified vulnerabilities

Monitor for new issues