git: 14a673a130d0 - main - math/py-math-verify: New port: HuggingFace library for verifying mathematical answers

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 09 Jul 2026 05:20:25 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=14a673a130d0fbab11e50e646ba591e7a84fc1e3

commit 14a673a130d0fbab11e50e646ba591e7a84fc1e3
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-07-09 01:13:59 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-07-09 05:20:14 +0000

    math/py-math-verify: New port: HuggingFace library for verifying mathematical answers
---
 math/Makefile                 |  1 +
 math/py-math-verify/Makefile  | 27 +++++++++++++++++++++++++++
 math/py-math-verify/distinfo  |  3 +++
 math/py-math-verify/pkg-descr |  5 +++++
 4 files changed, 36 insertions(+)

diff --git a/math/Makefile b/math/Makefile
index 36b3601711e0..0fcbb4042b37 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -1050,6 +1050,7 @@
     SUBDIR += py-lrcalc
     SUBDIR += py-luminol
     SUBDIR += py-mapbox-earcut
+    SUBDIR += py-math-verify
     SUBDIR += py-mathics
     SUBDIR += py-mathics-scanner
     SUBDIR += py-matplotlib
diff --git a/math/py-math-verify/Makefile b/math/py-math-verify/Makefile
new file mode 100644
index 000000000000..242e3a83aa05
--- /dev/null
+++ b/math/py-math-verify/Makefile
@@ -0,0 +1,27 @@
+PORTNAME=	math-verify
+PORTVERSION=	0.9.0
+CATEGORIES=	math python # machine-learning
+MASTER_SITES=	PYPI
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+DISTNAME=	math_verify-${PORTVERSION}
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	HuggingFace library for verifying mathematical answers
+WWW=		https://github.com/huggingface/math-verify
+
+LICENSE=	APACHE20
+LICENSE_FILE=	${WRKSRC}/LICENCE
+
+BUILD_DEPENDS=	${PYTHON_PKGNAMEPREFIX}setuptools>0:devel/py-setuptools@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}wheel>0:devel/py-wheel@${PY_FLAVOR}
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}latex2sympy2-extended>0:math/py-latex2sympy2-extended@${PY_FLAVOR}
+
+USES=		python
+USE_PYTHON=	autoplist concurrent pep517
+
+NO_ARCH=	yes
+
+post-extract:
+	@${REINPLACE_CMD} -e 's/^license = "\([^"]*\)"/license = {text = "\1"}/' -e '/^license-files/d' ${WRKSRC}/pyproject.toml
+
+.include <bsd.port.mk>
diff --git a/math/py-math-verify/distinfo b/math/py-math-verify/distinfo
new file mode 100644
index 000000000000..fd646deb9105
--- /dev/null
+++ b/math/py-math-verify/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1783090332
+SHA256 (math_verify-0.9.0.tar.gz) = 45ac6c61344ba056b9e99a660a4bc8d044ed408f730aed68c60435aa5eec4645
+SIZE (math_verify-0.9.0.tar.gz) = 60329
diff --git a/math/py-math-verify/pkg-descr b/math/py-math-verify/pkg-descr
new file mode 100644
index 000000000000..79a1c8441b0c
--- /dev/null
+++ b/math/py-math-verify/pkg-descr
@@ -0,0 +1,5 @@
+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.