diff --git a/dev-ada/adareducer/Manifest b/dev-ada/adareducer/Manifest
new file mode 100644
index 000000000000..757b15abaa17
--- /dev/null
+++ b/dev-ada/adareducer/Manifest
@@ -0,0 +1 @@
+DIST adareducer-0.20250402.tar.gz 32724 BLAKE2B b2b2ea8c14ba7cc1f2cecc7ee1cda1cf5b101a2491fac9b4352289873a1347084b0d5a9b99948b43047480faf2b4b56b3e280f4c66a1de9e60ca6b417fe64b99 SHA512 5cfdff897484e1f8220a6b15a3fdcc52b57d7fcb3a046f9f6c9aa645a220d76da62e654ae6e7f681608d4e6707bc0ca6eea343ba80093614cfa501bb05705d0e
diff --git a/dev-ada/adareducer/adareducer-0.20250402.ebuild b/dev-ada/adareducer/adareducer-0.20250402.ebuild
new file mode 100644
index 000000000000..1f87ebbcc8cf
--- /dev/null
+++ b/dev-ada/adareducer/adareducer-0.20250402.ebuild
@@ -0,0 +1,48 @@
+# Copyright 2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+PYTHON_COMPAT=( python3_{11..13} )
+DISTUTILS_USE_PEP517=setuptools
+DISTUTILS_SINGLE_IMPL=1
+inherit distutils-r1
+
+CommitId=eb523bc674ac0df1c1e41c1871ffece9c8468214
+DESCRIPTION="Ada Reducer"
+HOMEPAGE="https://github.com/AdaCore/adareducer"
+SRC_URI="https://github.com/AdaCore/${PN}/archive/${CommitId}.tar.gz
+	-> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${CommitId}
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="dev-ada/libadalang[${PYTHON_SINGLE_USEDEP}"]
+DEPEND="${RDEPEND}"
+BDEPEND="test? ( dev-ada/e3-testsuite )"
+
+src_prepare() {
+	cd ada_reducer
+	mv types.py typesA.py || die
+	sed -i \
+		-e "s:ada_reducer.types:ada_reducer.typesA:" \
+		-e "s:\\o/:\\\\o/:" \
+		engine.py \
+		delete_empty_units.py \
+		hollow_body.py \
+		remove_statement.py \
+		remove_subprograms.py \
+		remove_generic_nodes.py \
+		remove_trivias.py \
+		remove_imports.py \
+		|| die
+	cd -
+	distutils-r1_src_prepare
+}
+
+src_test() {
+	${EPYTHON} testsuite/testsuite.py || die
+}
diff --git a/dev-ada/adareducer/metadata.xml b/dev-ada/adareducer/metadata.xml
new file mode 100644
index 000000000000..baea33497a3c
--- /dev/null
+++ b/dev-ada/adareducer/metadata.xml
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>ada@gentoo.org</email>
+	</maintainer>
+	<upstream>
+		<remote-id type="github">AdaCore/adareducer</remote-id>
+	</upstream>
+</pkgmetadata>
diff --git a/profiles/features/musl/package.mask b/profiles/features/musl/package.mask
index 1f2334a9e0e9..b06684a7a1e0 100644
--- a/profiles/features/musl/package.mask
+++ b/profiles/features/musl/package.mask
@@ -155,6 +155,7 @@ dev-ada/AdaSAT
 dev-ada/lal-refactor
 dev-ada/prettier-ada
 dev-ada/gnatformat
+dev-ada/adareducer
 
 # Sergey Popov <pinkbyte@gentoo.org> (2024-03-05)
 # games-strategy/seven-kingdoms does not build on musl,