How AI describes ERC-20

Data as of Aug 16, 2026 · Based on 3,131,739 AI responses across 10,525 prompts · See how Parse measures this

ERC-20github.com

Runtime Verification's Verified Smart Contracts repository hosts smart contracts that have been formally verified. The verification process starts with a formal specification of intended behavior and proves that the compiled low-level code satisfies this specification using reachability logic implemented in the K-framework, aided by SMT solvers like Z3. The repository also provides examples of verified contracts (e.g., Ethereum 2.0 Deposit, Gnosis Safe, Uniswap) and explains the tooling and methodology behind the formal verification approach.

Brand context

Hosted on GitHub

Parse Score

56.0

#63 of 239 in Real Estate Investment & Management Platforms

Strength46

Reach39

Authority30

Prompt	Prompt visibility
For an on-chain fund manager, what is the best token for a platform that provides tools for creating and managing decentralized asset pools?	2.8
What is the best token for a network focused on authenticating real-world credentials, like academic degrees, on-chain?	1.1

Prompt	Prompt visibility
For an on-chain fund manager, what is the best token for a platform that provides tools for creating and managing decentralized asset pools?	2.8
What is the best token for a network focused on authenticating real-world credentials, like academic degrees, on-chain?	1.1

How AI describes ERC-20

Work at ERC-20?

How AI describes ERC-20

Work at ERC-20?

AI questions where ERC-20 appears

Always know where you stand in AI