thegrind 0.0.0__tar.gz

thegrind-0.0.0/PKG-INFO

@@ -0,0 +1,28 @@
+Metadata-Version: 2.5
+Name: thegrind
+Version: 0.0.0
+Summary: Placeholder. Client tooling for The Grind; the first real release follows shortly.
+Project-URL: Homepage, https://grind.mainframe.network
+Author-email: krn1cwby <grind@mainframe.network>
+Keywords: formal-verification,lean,lean4,theorem-proving
+Classifier: Development Status :: 1 - Planning
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+
+# thegrind
+
+Client-side tooling for **The Grind** — a distributed search for Lean proof
+terms. The package will let you set up a grinder on your own machine, identify
+it, and submit verified work to the shared ledger.
+
+This release is a **placeholder**: it installs, imports, and does nothing. It
+exists only to hold the name while the real tool is finished.
+
+Nothing here contacts the network, reads your filesystem, or runs at import
+time.
+
+See <https://grind.mainframe.network>.

thegrind-0.0.0/README.md

@@ -0,0 +1,13 @@
+# thegrind
+
+Client-side tooling for **The Grind** — a distributed search for Lean proof
+terms. The package will let you set up a grinder on your own machine, identify
+it, and submit verified work to the shared ledger.
+
+This release is a **placeholder**: it installs, imports, and does nothing. It
+exists only to hold the name while the real tool is finished.
+
+Nothing here contacts the network, reads your filesystem, or runs at import
+time.
+
+See <https://grind.mainframe.network>.

thegrind-0.0.0/pyproject.toml

@@ -0,0 +1,29 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "thegrind"
+version = "0.0.0"
+description = "Placeholder. Client tooling for The Grind; the first real release follows shortly."
+readme = "README.md"
+requires-python = ">=3.11"
+authors = [{ name = "krn1cwby", email = "grind@mainframe.network" }]
+keywords = ["lean", "lean4", "theorem-proving", "formal-verification"]
+classifiers = [
+  "Development Status :: 1 - Planning",
+  "Intended Audience :: Science/Research",
+  "Programming Language :: Python :: 3",
+  "Programming Language :: Python :: 3 :: Only",
+  "Topic :: Scientific/Engineering :: Mathematics",
+]
+dependencies = []
+
+[project.urls]
+Homepage = "https://grind.mainframe.network"
+
+[project.scripts]
+grind = "thegrind:main"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/thegrind"]

thegrind-0.0.0/src/thegrind/__init__.py

@@ -0,0 +1,27 @@
+"""Client tooling for The Grind.
+
+This is a placeholder release. It does nothing: there is no client here yet,
+and the version is 0.0.0 to say so. The first real release will carry a
+version above it; this one can be ignored by any resolver.
+
+See https://grind.mainframe.network
+"""
+
+__all__ = ["__version__", "main"]
+
+__version__ = "0.0.0"
+
+_MESSAGE = """\
+thegrind 0.0.0 -- placeholder, not the real client.
+
+This release holds the name and implements nothing. The first working
+version will be published shortly at:
+
+    https://grind.mainframe.network
+"""
+
+
+def main(argv: list[str] | None = None) -> int:
+    """Print what this is and exit. Ignores its arguments, having none."""
+    print(_MESSAGE, end="")
+    return 0

thegrind-0.0.0/src/thegrind/__main__.py

@@ -0,0 +1,8 @@
+"""`python -m thegrind`, equivalent to the `grind` console script."""
+
+import sys
+
+from . import main
+
+if __name__ == "__main__":
+    sys.exit(main(sys.argv[1:]))