Become a sponsor +·Become a sponsor +·Become a sponsor +·Become a sponsor +·
Become a sponsor +·Become a sponsor +·Become a sponsor +·Become a sponsor +·
aiagents.org
Directories ▾
ai agentsAI toolsPromptsSkillsGrok Bot
Can AI?Submit
  1. Home
  2. ›Use cases
  3. ›Solidity invariants

Solidity invariants

1 listing

Skills

Property-Based Testing

Applies property-based testing to find edge-case bugs with generative properties.

Related use cases

  • fast-check1
  • Fuzz testing1
  • Hypothesis testing library1
  • Invariant testing1
  • Property-based testing1

Sponsors

+Become a sponsor+Become a sponsor+Become a sponsor+Become a sponsor
aiagents.org

New ai agents, tools, and prompts worth trying.

One email per week · Free forever · Unsubscribe in one click

Can AI?A growing list of workflows for real use cases.

Directories

  • ai agents
  • AI tools
  • Prompts
  • Skills
  • Use cases
  • Grok Bot

Site

  • Privacy
  • Terms
  • Advertising
  • Badges
  • hello@aiagents.org

More

  • Sponsor
  • Submit
  • Claim a listing
  • For agents
  • llms.txt