CrocSwap / integer-mult-bounds

Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

BlackHole1 / aswap

Multi-account switcher for Claude Code and Claude Desktop: claude-swap (cswap) plus a maintained patch series.