Click the green button below to open GitHub’s new-issue form, pre-filled with the
report title, summary table, top findings, and an embedded score-card image.
No authentication needed — you review on GitHub
before submitting. Repobility is credited as the scanner.
Embedded score card image
This image will render at the top of the issue body. Hosted on Repobility, refreshes automatically after re-scans.
Issue title
Async function without await — fire-and-forget Promise (AI mistake)
Curate findings to include
Pick exactly which findings appear in the issue body. By default the top 5 are included. Uncheck noise, check what matters.
Top 5 (default)
Issue body (markdown)
## Code-quality scan: `jsiek/deduce`
**Score: 84/100 (A-)** · 138 findings · scanned 2026-06-05 14:50 UTC · 57,787 LOC
| Severity | Count |
|---|---|
| CRITICAL | 3 |
| HIGH | 44 |
| MEDIUM | 37 |
| LOW | 17 |
📊 [Full filterable report](https://repobility.com/scan/f2d99d98-d908-4ba5-a560-fb38bda710cd/) · 
### Top findings
1. **CRITICAL** `MINED107` — Missing import: `html` used but not imported
`gh_pages/scripts/convert.py:422` · ✓ Repobility
2. **CRITICAL** `MINED107` — Missing import: `html` used but not imported
`gh_pages/scripts/index_generate.py:90` · ✓ Repobility
3. **CRITICAL** `MINED107` — Missing import: `os` used but not imported
`abstract_syntax/declarations.py:974` · ✓ Repobility
4. **HIGH** `SEC128` — Async function without await — fire-and-forget Promise (AI mistake)
`tools/claude_fill_hole/schema.py:251`
5. **HIGH** `SEC128` — Async function without await — fire-and-forget Promise (AI mistake)
`proof_checker.py:70`
---
**Security note**: this issue is public. If any flagged finding is a real, exploitable vulnerability, please redirect to your `SECURITY.md` policy or open a [private security advisory](https://docs.github.com/en/code-security/security-advisories/guidance-on-reporting-and-writing-information-about-vulnerabilities/privately-reporting-a-security-vulnerability) instead. We're happy to close this and re-submit privately.
---
_Filed automatically. Close this issue if not useful — we won't refile. Full report: https://repobility.com/scan/f2d99d98-d908-4ba5-a560-fb38bda710cd/_
Megaproject â high spam risk
Could not determine 'jsiek/deduce' star count (GitHub API rate-limited or unreachable). When in doubt about repo size, prefer opening a focused PR or a discussion rather than an issue.
Already filed
44/143 findings (31%) on this scan are already flagged as test-file, won't-fix, or suppressed. The scan is too noisy to file as a single issue. Curate down to specific actionable findings, or address the FP source first.
The button opens GitHubâs new-issue page in a new tab. You will see the title +
body pre-filled â review, edit if you want, then click GitHubâs "Submit new issue"
button. Repobility never posts anything on your behalf.
For real security findings on big repos: use the project's SECURITY.md or
private advisory flow instead of a public issue.
