Logo
Explore Help
Sign In
devs/cproof
1
2
Fork 1
You've already forked cproof
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity
Labels Milestones New Issue
8 Open 5 Closed
Label
Use alt + click/enter to exclude labels
All labels No label
Compat/Breaking

Kind/Bug

Kind/Documentation

Kind/Enhancement

Kind/Feature

Kind/Security

Kind/Testing

Priority
Critical
1

Priority
High
2

Priority
Low
4

Priority
Medium
3

Reviewed
Confirmed
1

Reviewed
Duplicate
2

Reviewed
Invalid
3

Reviewed
Won't Fix
3

Status
Abandoned
3

Status
Blocked
1

Status
Need More Info
2

Milestone
All milestones No milestones
Project
All projects No project
Open Projects
Plans (2025-2026)
Author
All users
Assignee
Assigned to nobody Assigned to anybody
admin jabber.developer jabber.developer2
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
Label
Priority Reviewed Status
8 Open 5 Closed
Label
Clear labels
Compat/Breaking
Kind/Bug
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Security
Kind/Testing
Priority
Critical
1
Priority
High
2
Priority
Low
4
Priority
Medium
3
Reviewed
Confirmed
1
Reviewed
Duplicate
2
Reviewed
Invalid
3
Reviewed
Won't Fix
3
Status
Abandoned
3
Status
Blocked
1
Status
Need More Info
2
Milestone
No milestone
Projects
Clear projects
Open Projects
Plans (2025-2026)
Assignee
Clear assignees
No assignee
admin
jabber.developer
jabber.developer2
[Security] Security process & documentation — vulnerability disclosure, release security gate, policies
Kind/Security
Priority
Medium
3
#151 opened 2026-07-03 10:30:31 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 8
[Security] Credential & plugin trust — safe secret handling and plugin signature verification before dlopen
Kind/Security
Priority
Medium
3
#150 opened 2026-07-03 10:29:59 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 4
[Security] Build & supply-chain security — blocking CI security gates, toolchain hardening, source/dependency pinning
Kind/Security
Priority
Medium
3
#149 opened 2026-07-03 10:29:21 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 14
[Security] Harden untrusted-input handling — remote-DoS guards, memory safety, injection defenses
Kind/Security
Priority
Medium
3
#148 opened 2026-07-03 10:28:45 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 9
[Security] E2EE & transport correctness — TLS policy floor, OMEMO/OTR/PGP fixes, downgrade/cert-failure visibility
Kind/Security
Priority
Medium
3
#147 opened 2026-07-03 10:28:09 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 12
[Security] Protect local data at rest — owner-only file permissions, DB integrity checks, secret-free logs
Kind/Security
Priority
Medium
3
#146 opened 2026-07-03 10:27:30 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 5
[Security] Harden the AI/LLM client — block cleartext egress, enforce TLS verification, add timeouts
Kind/Security
Priority
Medium
3
#145 opened 2026-07-03 10:26:46 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 3
Security compliance: assessment, planning
Kind/Security
Priority
Medium
3
Status
Need More Info
2
#144 opened 2026-06-29 17:11:39 +00:00 by jabber.developer Plans (2025-2026)
3
Powered by Gitea Version: 1.24.3 Page: 133ms Template: 68ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API