Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
ERC20-Kgithub.com · Low evidenceERC20 K is a complete formal executable specification of the ERC20 token standard built with the K framework. It clarifies corner cases and ambiguous behaviors omitted by the informal ERC20 standard, providing a test suite for increased confidence in token implementations.
Parse Score