reprova 0.0.1__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- reprova-0.0.1/PKG-INFO +15 -0
- reprova-0.0.1/README.md +5 -0
- reprova-0.0.1/pyproject.toml +13 -0
- reprova-0.0.1/src/reprova/__init__.py +1 -0
reprova-0.0.1/PKG-INFO
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
Metadata-Version: 2.5
|
|
2
|
+
Name: reprova
|
|
3
|
+
Version: 0.0.1
|
|
4
|
+
Summary: Re-run what a coding agent claims it did, and prove whether it holds.
|
|
5
|
+
Author: Hyunoh Yeo
|
|
6
|
+
License-Expression: Apache-2.0
|
|
7
|
+
Classifier: Development Status :: 1 - Planning
|
|
8
|
+
Requires-Python: >=3.10
|
|
9
|
+
Description-Content-Type: text/markdown
|
|
10
|
+
|
|
11
|
+
# reprova
|
|
12
|
+
|
|
13
|
+
Re-run what a coding agent claims it did, and prove whether it holds.
|
|
14
|
+
|
|
15
|
+
Early development. First working release planned for October 2026.
|
reprova-0.0.1/README.md
ADDED
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
[build-system]
|
|
2
|
+
requires = ["hatchling"]
|
|
3
|
+
build-backend = "hatchling.build"
|
|
4
|
+
|
|
5
|
+
[project]
|
|
6
|
+
name = "reprova"
|
|
7
|
+
version = "0.0.1"
|
|
8
|
+
description = "Re-run what a coding agent claims it did, and prove whether it holds."
|
|
9
|
+
readme = "README.md"
|
|
10
|
+
license = "Apache-2.0"
|
|
11
|
+
requires-python = ">=3.10"
|
|
12
|
+
authors = [{ name = "Hyunoh Yeo" }]
|
|
13
|
+
classifiers = ["Development Status :: 1 - Planning"]
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
__version__ = "0.0.1"
|