Alert
Unable to verify the project's public source code repository.
  1. Advisor
  2. Python packages
  3. certora-cli-alpha-mike-range-structure

certora-cli-alpha-mike-range-structure

v20230516.16.21.662667

Runner for the Certora Prover For more information about how to use this package see README

Latest version published 2 years ago
License: MIT
PyPI

Ensure you're using the healthiest python packages

Snyk scans all the packages in your projects for vulnerabilities and provides automated fix advice

Package Health Score

39 / 100

Popularity

Limited
GitHub Stars
?
Forks
?
Contributors
-

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package certora-cli-alpha-mike-range-structure, we found that it has been starred ? times.

Security

No known security issues
Powered by Snyk
20230516.16.21.662667 (Latest)

Security and license risk for latest version

Release Date
May 16, 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
No

We found a way for you to contribute to the project! Looks like certora-cli-alpha-mike-range-structure 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

Commit Frequency

Unavailable commit data
Open Issues
?
Open PR
?
Last Release
2 years ago
Last Commit
unknown

Further analysis of the maintenance status of certora-cli-alpha-mike-range-structure based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Inactive.

An important project maintenance signal to consider for certora-cli-alpha-mike-range-structure is that it hasn't seen any new versions released to PyPI in the past 12 months, and could be considered as a discontinued project, or that which receives low attention from its maintainers.

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

Limited
Readme
Yes
Contributing.md
No
Code of Conduct
No
Contributors
0
Funding
No

This project has seen only 10 or less contributors.

Embed Package Health Score Badge

package health: 39/100 package health 39/100

Keep your project healthy

scan-reversed

Check your requirements.txt

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

Snyk Vulnerability Scanner

external
Get health score & security insights directly in your IDE
arrow

Package

Python Versions Compatibility
>=3.8.16
Age
2 years
Latest Release
2 years ago
Dependencies
8 Direct
Versions
2
Maintainers
1
Wheels
OS Independent