Factual package intelligence from PyPI

neurocore-skill-math 0.2.0 package intelligence

Math-proof toolchain skills for NeuroCore: CAS, SMT, ATP, and formal proof assistants

pip install neurocore-skill-math

Current version
0.2.0
Python requirement
>=3.13
License
Apache-2.0
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
62.1 KiB
Release history
2 releases with files
Median release cadence
13 days

neurocore-skill-math dependencies

PyPI declares 12 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. mpmath >=1.3
  2. neurocore-ai >=0.4.0
  3. sympy >=1.12
  4. z3-solver >=4.12

Compatibility and release files

neurocore-skill-math publishes 1 wheel and 1 source archive for version 0.2.0. Wheel platform tags: any.

Declared Python classifiers: 3.13.

Security snapshot for neurocore-skill-math 0.2.0

An OSV query completed on and found 0 known vulnerabilities affecting this version. 0 advisories are classified as critical. 0 advisories appear in the CISA Known Exploited Vulnerabilities catalog.

Release activity and sources

PyPI lists 2 releases with files. The first dated release is ; 2 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .