Bugs¶
Report bugs through GitHub Issues on the relevant repository — not through this documentation section.
Where to file issues¶
| Area | Issues |
|---|---|
| CLI | verilib-cli issues |
| Frontend | verilib-frontend issues |
| Atomizer | verilib-atomizer issues |
| Certificates | local_validate issues |
| Documentation | VeriLib-Docs issues |
General guidance¶
Include reproduction steps, expected vs actual behavior, and versions (CLI version, browser, OS). For security issues, see Security and report through the appropriate private channel — do not open public issues for vulnerabilities.