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
20 Open 11 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
20 Open 11 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
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)
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
SQLite history load merges LMC corrections regardless of PREF_CORRECTION_ALLOW
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#125 opened 2026-05-16 14:52:02 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 4
Move binaries to build folder
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
Status
Need More Info
2
#82 opened 2026-01-27 16:35:13 +00:00 by jabber.developer Plans (2025-2026)
1
Offline functionality
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#76 opened 2026-01-21 16:37:00 +00:00 by jabber.developer Plans (2025-2026)
TODOs and Disabled Tests in Functional Tests
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
#66 opened 2026-01-06 15:08:04 +00:00 by jabber.developer2 Plans (2025-2026)
1
Add test coverage badge
Kind/Feature
Kind/Testing
Priority
Medium
3
Reviewed
Confirmed
1
#57 opened 2025-11-10 12:09:07 +00:00 by jabber.developer Plans (2025-2026)
1
PGP locking issue
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
Status
Need More Info
2
#52 opened 2025-11-10 09:22:20 +00:00 by jabber.developer Plans (2025-2026)
1
Branding
Kind/Documentation
Kind/Enhancement
Priority
Medium
3
Reviewed
Confirmed
1
#42 opened 2025-10-14 10:37:03 +00:00 by jabber.developer Plans (2025-2026) 0 / 5
Autoping connection_support false negative
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#40 opened 2025-10-14 09:45:48 +00:00 by jabber.developer Plans (2025-2026)
3
Scroll is stuck if user goes offline
Kind/Bug
Priority
Medium
3
Reviewed
Confirmed
1
#11 opened 2025-07-02 17:37:41 +00:00 by jabber.developer Plans (2025-2026)
Powered by Gitea Version: 1.24.3 Page: 134ms Template: 57ms
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