cotterpin 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.
- cotterpin-0.0.1/PKG-INFO +58 -0
- cotterpin-0.0.1/README.md +38 -0
- cotterpin-0.0.1/pyproject.toml +44 -0
- cotterpin-0.0.1/setup.cfg +4 -0
- cotterpin-0.0.1/src/cotterpin/__init__.py +14 -0
- cotterpin-0.0.1/src/cotterpin.egg-info/PKG-INFO +58 -0
- cotterpin-0.0.1/src/cotterpin.egg-info/SOURCES.txt +8 -0
- cotterpin-0.0.1/src/cotterpin.egg-info/dependency_links.txt +1 -0
- cotterpin-0.0.1/src/cotterpin.egg-info/entry_points.txt +2 -0
- cotterpin-0.0.1/src/cotterpin.egg-info/top_level.txt +1 -0
cotterpin-0.0.1/PKG-INFO
ADDED
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
Metadata-Version: 2.4
|
|
2
|
+
Name: cotterpin
|
|
3
|
+
Version: 0.0.1
|
|
4
|
+
Summary: Proof-gated harness for AI coding agents — mechanical gates, local-first, evidence-backed
|
|
5
|
+
Author: Mark Clarke
|
|
6
|
+
Project-URL: Homepage, https://cotterpin.io
|
|
7
|
+
Project-URL: Source, https://github.com/cotterpinhq
|
|
8
|
+
Keywords: ai,agents,coding-agent,verification,gates,governance,claude-code,codex,gemini,grok
|
|
9
|
+
Classifier: Development Status :: 1 - Planning
|
|
10
|
+
Classifier: Environment :: Console
|
|
11
|
+
Classifier: Intended Audience :: Developers
|
|
12
|
+
Classifier: License :: Other/Proprietary License
|
|
13
|
+
Classifier: Programming Language :: Python :: 3.11
|
|
14
|
+
Classifier: Programming Language :: Python :: 3.12
|
|
15
|
+
Classifier: Programming Language :: Python :: 3.13
|
|
16
|
+
Classifier: Topic :: Software Development :: Quality Assurance
|
|
17
|
+
Classifier: Topic :: Software Development :: Testing
|
|
18
|
+
Requires-Python: >=3.11
|
|
19
|
+
Description-Content-Type: text/markdown
|
|
20
|
+
|
|
21
|
+
# Cotterpin
|
|
22
|
+
|
|
23
|
+
**Proof-gated automation for AI coding agents.**
|
|
24
|
+
|
|
25
|
+
A cotter pin is the small part whose only job is to stop something falling apart while it
|
|
26
|
+
moves. Cotterpin does that for coding agents: it runs them against mechanical gates, so a task
|
|
27
|
+
counts as done only when evidence says so — not when the agent says so.
|
|
28
|
+
|
|
29
|
+
## Status: name reservation
|
|
30
|
+
|
|
31
|
+
This 0.0.1 release reserves the name and installs nothing useful. There is no working release
|
|
32
|
+
yet. Follow <https://cotterpin.io> for progress.
|
|
33
|
+
|
|
34
|
+
## What it will do
|
|
35
|
+
|
|
36
|
+
- **Run agents against gates that can refuse.** Claude Code, Codex, Grok and Gemini, behind
|
|
37
|
+
one task model.
|
|
38
|
+
- **Catch what linters cannot** — an agent that runs the tests, sees them pass, and reports
|
|
39
|
+
work as delivered that was never wired up.
|
|
40
|
+
- **Prove it.** Every verdict is backed by a receipt bound to the exact inputs it checked,
|
|
41
|
+
chained so the history cannot be quietly rewritten.
|
|
42
|
+
- **Keep your code local.** Source, diffs and prompts stay on your machine; only your chosen
|
|
43
|
+
model provider ever sees your code, under your own account.
|
|
44
|
+
|
|
45
|
+
## Intended usage
|
|
46
|
+
|
|
47
|
+
```sh
|
|
48
|
+
pipx install cotterpin
|
|
49
|
+
|
|
50
|
+
cotterpin install # user-space runtime, no admin
|
|
51
|
+
cotterpin connect # detect and check your provider CLIs
|
|
52
|
+
cotterpin init # write policy, pin the gate pack, dry-run the gates
|
|
53
|
+
cotterpin run <task> # run the work, gated
|
|
54
|
+
```
|
|
55
|
+
|
|
56
|
+
## Licence
|
|
57
|
+
|
|
58
|
+
All rights reserved pending a licence decision.
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
# Cotterpin
|
|
2
|
+
|
|
3
|
+
**Proof-gated automation for AI coding agents.**
|
|
4
|
+
|
|
5
|
+
A cotter pin is the small part whose only job is to stop something falling apart while it
|
|
6
|
+
moves. Cotterpin does that for coding agents: it runs them against mechanical gates, so a task
|
|
7
|
+
counts as done only when evidence says so — not when the agent says so.
|
|
8
|
+
|
|
9
|
+
## Status: name reservation
|
|
10
|
+
|
|
11
|
+
This 0.0.1 release reserves the name and installs nothing useful. There is no working release
|
|
12
|
+
yet. Follow <https://cotterpin.io> for progress.
|
|
13
|
+
|
|
14
|
+
## What it will do
|
|
15
|
+
|
|
16
|
+
- **Run agents against gates that can refuse.** Claude Code, Codex, Grok and Gemini, behind
|
|
17
|
+
one task model.
|
|
18
|
+
- **Catch what linters cannot** — an agent that runs the tests, sees them pass, and reports
|
|
19
|
+
work as delivered that was never wired up.
|
|
20
|
+
- **Prove it.** Every verdict is backed by a receipt bound to the exact inputs it checked,
|
|
21
|
+
chained so the history cannot be quietly rewritten.
|
|
22
|
+
- **Keep your code local.** Source, diffs and prompts stay on your machine; only your chosen
|
|
23
|
+
model provider ever sees your code, under your own account.
|
|
24
|
+
|
|
25
|
+
## Intended usage
|
|
26
|
+
|
|
27
|
+
```sh
|
|
28
|
+
pipx install cotterpin
|
|
29
|
+
|
|
30
|
+
cotterpin install # user-space runtime, no admin
|
|
31
|
+
cotterpin connect # detect and check your provider CLIs
|
|
32
|
+
cotterpin init # write policy, pin the gate pack, dry-run the gates
|
|
33
|
+
cotterpin run <task> # run the work, gated
|
|
34
|
+
```
|
|
35
|
+
|
|
36
|
+
## Licence
|
|
37
|
+
|
|
38
|
+
All rights reserved pending a licence decision.
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
[build-system]
|
|
2
|
+
requires = ["setuptools>=68"]
|
|
3
|
+
build-backend = "setuptools.build_meta"
|
|
4
|
+
|
|
5
|
+
[project]
|
|
6
|
+
name = "cotterpin"
|
|
7
|
+
version = "0.0.1"
|
|
8
|
+
description = "Proof-gated harness for AI coding agents — mechanical gates, local-first, evidence-backed"
|
|
9
|
+
readme = "README.md"
|
|
10
|
+
requires-python = ">=3.11"
|
|
11
|
+
authors = [{ name = "Mark Clarke" }]
|
|
12
|
+
keywords = [
|
|
13
|
+
"ai",
|
|
14
|
+
"agents",
|
|
15
|
+
"coding-agent",
|
|
16
|
+
"verification",
|
|
17
|
+
"gates",
|
|
18
|
+
"governance",
|
|
19
|
+
"claude-code",
|
|
20
|
+
"codex",
|
|
21
|
+
"gemini",
|
|
22
|
+
"grok",
|
|
23
|
+
]
|
|
24
|
+
classifiers = [
|
|
25
|
+
"Development Status :: 1 - Planning",
|
|
26
|
+
"Environment :: Console",
|
|
27
|
+
"Intended Audience :: Developers",
|
|
28
|
+
"License :: Other/Proprietary License",
|
|
29
|
+
"Programming Language :: Python :: 3.11",
|
|
30
|
+
"Programming Language :: Python :: 3.12",
|
|
31
|
+
"Programming Language :: Python :: 3.13",
|
|
32
|
+
"Topic :: Software Development :: Quality Assurance",
|
|
33
|
+
"Topic :: Software Development :: Testing",
|
|
34
|
+
]
|
|
35
|
+
|
|
36
|
+
[project.urls]
|
|
37
|
+
Homepage = "https://cotterpin.io"
|
|
38
|
+
Source = "https://github.com/cotterpinhq"
|
|
39
|
+
|
|
40
|
+
[project.scripts]
|
|
41
|
+
cotterpin = "cotterpin:main"
|
|
42
|
+
|
|
43
|
+
[tool.setuptools.packages.find]
|
|
44
|
+
where = ["src"]
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
"""Cotterpin — proof-gated automation for AI coding agents.
|
|
2
|
+
|
|
3
|
+
This release reserves the name. There is no working release yet.
|
|
4
|
+
"""
|
|
5
|
+
|
|
6
|
+
__version__ = "0.0.1"
|
|
7
|
+
|
|
8
|
+
|
|
9
|
+
def main() -> int:
|
|
10
|
+
print(
|
|
11
|
+
"Cotterpin 0.0.1 — name reservation only.\n"
|
|
12
|
+
"There is no working release yet. Progress: https://cotterpin.io"
|
|
13
|
+
)
|
|
14
|
+
return 0
|
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
Metadata-Version: 2.4
|
|
2
|
+
Name: cotterpin
|
|
3
|
+
Version: 0.0.1
|
|
4
|
+
Summary: Proof-gated harness for AI coding agents — mechanical gates, local-first, evidence-backed
|
|
5
|
+
Author: Mark Clarke
|
|
6
|
+
Project-URL: Homepage, https://cotterpin.io
|
|
7
|
+
Project-URL: Source, https://github.com/cotterpinhq
|
|
8
|
+
Keywords: ai,agents,coding-agent,verification,gates,governance,claude-code,codex,gemini,grok
|
|
9
|
+
Classifier: Development Status :: 1 - Planning
|
|
10
|
+
Classifier: Environment :: Console
|
|
11
|
+
Classifier: Intended Audience :: Developers
|
|
12
|
+
Classifier: License :: Other/Proprietary License
|
|
13
|
+
Classifier: Programming Language :: Python :: 3.11
|
|
14
|
+
Classifier: Programming Language :: Python :: 3.12
|
|
15
|
+
Classifier: Programming Language :: Python :: 3.13
|
|
16
|
+
Classifier: Topic :: Software Development :: Quality Assurance
|
|
17
|
+
Classifier: Topic :: Software Development :: Testing
|
|
18
|
+
Requires-Python: >=3.11
|
|
19
|
+
Description-Content-Type: text/markdown
|
|
20
|
+
|
|
21
|
+
# Cotterpin
|
|
22
|
+
|
|
23
|
+
**Proof-gated automation for AI coding agents.**
|
|
24
|
+
|
|
25
|
+
A cotter pin is the small part whose only job is to stop something falling apart while it
|
|
26
|
+
moves. Cotterpin does that for coding agents: it runs them against mechanical gates, so a task
|
|
27
|
+
counts as done only when evidence says so — not when the agent says so.
|
|
28
|
+
|
|
29
|
+
## Status: name reservation
|
|
30
|
+
|
|
31
|
+
This 0.0.1 release reserves the name and installs nothing useful. There is no working release
|
|
32
|
+
yet. Follow <https://cotterpin.io> for progress.
|
|
33
|
+
|
|
34
|
+
## What it will do
|
|
35
|
+
|
|
36
|
+
- **Run agents against gates that can refuse.** Claude Code, Codex, Grok and Gemini, behind
|
|
37
|
+
one task model.
|
|
38
|
+
- **Catch what linters cannot** — an agent that runs the tests, sees them pass, and reports
|
|
39
|
+
work as delivered that was never wired up.
|
|
40
|
+
- **Prove it.** Every verdict is backed by a receipt bound to the exact inputs it checked,
|
|
41
|
+
chained so the history cannot be quietly rewritten.
|
|
42
|
+
- **Keep your code local.** Source, diffs and prompts stay on your machine; only your chosen
|
|
43
|
+
model provider ever sees your code, under your own account.
|
|
44
|
+
|
|
45
|
+
## Intended usage
|
|
46
|
+
|
|
47
|
+
```sh
|
|
48
|
+
pipx install cotterpin
|
|
49
|
+
|
|
50
|
+
cotterpin install # user-space runtime, no admin
|
|
51
|
+
cotterpin connect # detect and check your provider CLIs
|
|
52
|
+
cotterpin init # write policy, pin the gate pack, dry-run the gates
|
|
53
|
+
cotterpin run <task> # run the work, gated
|
|
54
|
+
```
|
|
55
|
+
|
|
56
|
+
## Licence
|
|
57
|
+
|
|
58
|
+
All rights reserved pending a licence decision.
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
cotterpin
|