Port details
py-math-verify HuggingFace library for verifying mathematical answers
0.9.0 math Σ 0.9.0Version of this port present on the latest quarterly branch. Maintainer: yuri@FreeBSD.org Port Added: 2026-07-09 05:21:44Last Update: 2026-07-09 05:20:14Commit Hash: 14a673a Also Listed In: python License: APACHE20WWW: https://github.com/huggingface/math-verify Description: # Math-Verify is a HuggingFace library for verifying mathematical answers.
It provides evaluation metrics and verification utilities for assessing
the correctness of mathematical solutions, supporting both numeric and
symbolic answer comparison. Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: make generate-plist # There is no configure plist information for this port. USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
${PYTHON_PKGNAMEPREFIX}math-verify>0:math/py-math-verify@${PY_FLAVOR} To install the port : # cd /usr/ports/math/py-math-verify/ && make install clean To add the package , run one of these commands: pkg install math/py-math-verify pkg install py312-math-verify py312-math-verify listed in the above command, you can pick from the names under the Packages section.PKGNAME: py312-math-verify Package flavors (<flavor>: <package> ) # distinfo: # TIMESTAMP = 1783090332
SHA256 (math_verify-0.9.0.tar.gz) = 45ac6c61344ba056b9e99a660a4bc8d044ed408f730aed68c60435aa5eec4645
SIZE (math_verify-0.9.0.tar.gz) = 60329
Packages (timestamps in pop-ups are UTC): #
Dependencies # NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered. Build dependencies: #
py312-setuptools>0 : devel/py-setuptools@py312 py312-wheel>0 : devel/py-wheel@py312 python3.12 : lang/python312 py312-build>=0 : devel/py-build@py312 py312-installer>=0 : devel/py-installer@py312
Test dependencies: #
python3.12 : lang/python312
Runtime dependencies: #
py312-latex2sympy2-extended>0 : math/py-latex2sympy2-extended@py312 python3.12 : lang/python312
This port is required by: # for Run #
devel/py-mellea Configuration Options : # No options to configure Options name : # math_py-math-verify USES: # python
pkg-message: # FreshPorts was unable to extract/find any pkg message Master Sites: #
Number of commits found: 1 #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 0.9.0 Yuri Victorovich (yuri) math/py-math-verify: New port: HuggingFace library for verifying mathematical
answers
Number of commits found: 1
