EllipticZero — Source-available local multi-agent engine for smart-contract security review and defensive ECC research with reproducible evidence. FSL-1.1-ALv2.

Source-available local multi-agent engine for smart-contract security review and defensive ECC research with reproducible evidence. FSL-1.1-ALv2. · Sprache: Python · Topics: cryptography, defensive-research, ecc, elliptic-curves, formal-methods, multi-agent · ⭐ 29 Stars