Issues - cproof - CProof Git

devs/cproof

Labels Milestones New Issue

OMEMO cannot bootstrap against prosody-class servers

#169 opened 2026-07-16 14:32:18 +00:00 by jabber.developer2

Segfault on disco#info result without a from attribute

#168 opened 2026-07-16 09:48:34 +00:00 by jabber.developer2

ref: standardize nickname->jid autocomplete and autoconvertion in cmd_defs

Kind/Enhancement

#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

#156 opened 2026-07-05 12:38:12 +00:00 by jabber.developer Plans (2025-2026)

Readline buffer limit

#154 opened 2026-07-05 12:22:22 +00:00 by jabber.developer

[Security] Security process & documentation — vulnerability disclosure, release security gate, policies

#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

#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

#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

#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

#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

#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

#145 opened 2026-07-03 10:26:46 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 3

Security compliance: assessment, planning

#144 opened 2026-06-29 17:11:39 +00:00 by jabber.developer Plans (2025-2026)

Harden pad reclaim: trigger on dead space instead of absolute pad height

#134 opened 2026-06-08 09:35:17 +00:00 by jabber.developer2 Plans (2025-2026)

_migrate_to_v3: deterministic dedupe, explicit column list, and LMC foreign-key sweep

#128 opened 2026-05-27 11:13:58 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 5

SQLite history load merges LMC corrections regardless of PREF_CORRECTION_ALLOW

#125 opened 2026-05-16 14:52:02 +00:00 by jabber.developer2 Plans (2025-2026) 0 / 4

Add /history clean (and per-jid variant) to wipe existing chat history

#124 opened 2026-05-16 14:06:14 +00:00 by jabber.developer2 Plans (2025-2026)

1 2 3