diff --git a/mathlibtools/.SRCINFO b/mathlibtools/.SRCINFO
new file mode 100644
index 0000000..adec414
--- /dev/null
+++ b/mathlibtools/.SRCINFO
@@ -0,0 +1,23 @@
+pkgbase = mathlibtools
+	pkgdesc = Lean prover mathlib supporting tools
+	pkgver = 1.0.0
+	pkgrel = 1
+	url = https://pypi.python.org/pypi/mathlibtools/1.0.0
+	arch = any
+	license = MIT
+	makedepends = python-setuptools
+	depends = python-toml
+	depends = python-pygithub
+	depends = python-certifi
+	depends = python-gitpython
+	depends = python-requests
+	depends = python-click
+	depends = python-tqdm
+	depends = python-networkx
+	depends = python-pydot
+	depends = python-yaml
+	source = https://files.pythonhosted.org/packages/source/m/mathlibtools/mathlibtools-1.0.0.tar.gz
+	sha512sums = 4a3d10f983a4d6b9c336a37a077c8eca1fdf51dbc817bf41c20a141486f99485ad8c73b6d791522e5f3d8494c517b2b46481d93977ba08bc2763e00ccff61250
+
+pkgname = mathlibtools
+
diff --git a/mathlibtools/PKGBUILD b/mathlibtools/PKGBUILD
new file mode 100644
index 0000000..0cf1eb5
--- /dev/null
+++ b/mathlibtools/PKGBUILD
@@ -0,0 +1,23 @@
+# Maintainer: Gabriel Ebner <gebner@gebner.org>
+
+pkgname=mathlibtools
+pkgver=1.0.0
+pkgrel=1
+pkgdesc="Lean prover mathlib supporting tools"
+arch=(any)
+url="https://pypi.python.org/pypi/${pkgname}/${pkgver}"
+license=(MIT)
+depends=(python-toml python-pygithub python-certifi python-gitpython python-requests python-click python-tqdm python-networkx python-pydot python-yaml)
+makedepends=(python-setuptools)
+source=("https://files.pythonhosted.org/packages/source/${pkgname::1}/${pkgname}/${pkgname}-${pkgver}.tar.gz")
+sha512sums=('4a3d10f983a4d6b9c336a37a077c8eca1fdf51dbc817bf41c20a141486f99485ad8c73b6d791522e5f3d8494c517b2b46481d93977ba08bc2763e00ccff61250')
+
+build() {
+  cd "${srcdir}/${pkgname}-${pkgver}"
+  python setup.py build
+}
+
+package() {
+  cd "${srcdir}/${pkgname}-${pkgver}"
+  python setup.py install --root="${pkgdir}/" --optimize=1
+}