A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

Apply free for OSS
GoodOlClint

GoodOlClint/Athena

9 good first / help-wanted issues · Swift · last activity Aug 31, 2026

0 stars 0 forks 0 watchers Swift Apache License 2.0
View on GitHub
9 Open Issues Need Help Last updated: Aug 31, 2026

Open Issues Need Help

View All on GitHub
token-budget plan: two more claims that read as records and are false in that reading (:23 drift-guard clause, :15 deferral) about 14 hours ago
bug documentation good first issue review-note
GoodOlClint/Athena
0

Swift
cold-resolve "no run until the weekly cron" overlooks workflow_dispatch as the fast remedy about 14 hours ago
documentation good first issue review-note
GoodOlClint/Athena
0

Swift
substrate-bump runbook :46 states a stale test count (787) — and a count in a doc-of-record will drift again about 14 hours ago
documentation good first issue review-note
GoodOlClint/Athena
0

Swift
ADR 009 :113 is an amended row carrying no provenance annotation — the gap #162's premise assumed away about 14 hours ago
documentation good first issue review-note
GoodOlClint/Athena
0

Swift
ADR 009's L5 row and Status line were corrected by #136 without the file's own "row corrected (#N)" annotation convention about 15 hours ago
documentation good first issue review-note
GoodOlClint/Athena
0

Swift
token-budget plan :25 mis-tags count_tokens as [anthropic]; the route it plans is [native] about 15 hours ago
bug documentation good first issue
GoodOlClint/Athena
0

Swift
Substrate-bump runbook: cold-resolve trigger lists omit the workflow-file path; §7 keeps the loose phrasing about 15 hours ago
bug documentation good first issue review-note
GoodOlClint/Athena
0

Swift
logprobs_requires_deterministic message tells the client to use 'tools', which since ADR 034 does not make a request structured 1 day ago
bug good first issue
GoodOlClint/Athena
0

Swift
token-budget plan doc: the '## CLAUDE.md rules this change touches' heading survived #147, and the PR's four-sites characterization is wrong for it 1 day ago
bug documentation good first issue review-note
GoodOlClint/Athena
0

Swift