This website requires JavaScript.
Explore
Help
Sign In
devs
/
cproof
Watch
1
Star
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
43 Open
40 Closed
Label
Show archived labels
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
43 Open
40 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
OMEMO cannot bootstrap against prosody-class servers
Kind/Bug
Priority
Low
4
#169
opened
2026-07-16 14:32:18 +00:00
by
jabber.developer2
Segfault on disco#info result without a
from
attribute
Kind/Bug
#168
opened
2026-07-16 09:48:34 +00:00
by
jabber.developer2
Increase software and version privacy
Kind/Enhancement
Kind/Security
Priority
High
2
Reviewed
Confirmed
1
#165
by
jabber.developer
was closed
2026-07-10 10:39:27 +00:00
Plans (2025-2026)
1
ref: standardize nickname->jid autocomplete and autoconvertion in cmd_defs
Kind/Enhancement
Priority
Medium
3
#164
opened
2026-07-09 13:45:23 +00:00
by
jabber.developer
Plans (2025-2026)
(merge regressions) Make adequate migration client.name -> client.account_name
#162
opened
2026-07-08 11:21:00 +00:00
by
jabber.developer
Add config autotests
#161
opened
2026-07-08 11:18:00 +00:00
by
jabber.developer
[privacy] Revise version display default
#160
opened
2026-07-08 11:17:41 +00:00
by
jabber.developer
Improve OpenAI API support by AI module:
responses
by default with fallback to
chat/completions
Kind/Enhancement
Priority
Medium
3
#156
opened
2026-07-05 12:38:12 +00:00
by
jabber.developer
Plans (2025-2026)
Readline buffer limit
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#154
opened
2026-07-05 12:22:22 +00:00
by
jabber.developer
[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
PGP messages are not being encrypted if key is expired
Kind/Bug
Kind/Security
Priority
Critical
1
Reviewed
Confirmed
1
#142
by
jabber.developer
was closed
2026-06-29 15:37:43 +00:00
Plans (2025-2026)
1
[CI] Add automated Docker Hub publishing workflow
Priority
Medium
3
#140
by
jabber.developer
was closed
2026-07-11 21:39:28 +00:00
Plans (2025-2026)
5 / 12
1
Build system modifies tracked
src/gitversion.h.in
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#139
by
jabber.developer
was closed
2026-06-23 12:34:21 +00:00
Plans (2025-2026)
0 / 1
First
Previous
1
2
3
4
5
Next
Last