repotify
GitHub

Property-Based Testing (Trail of Bits)

property-based-testing · tier mission · source repo · CC-BY-SA-4.0

verified

Adds property-based tests that find edge cases example tests miss, for parsers, serializers and math.

Test results

0.92 jury mean

quality
0.90
specificity
0.95
maintenance
0.90
Jury agreement
80%
Scored
2026-10-04
Score expires
2026-11-03

Scores are valid for 30 days (the same TTL as the pipeline's expensive scoring layer). After that this page marks them expired until the catalog is rebuilt.

Jury models

  • nvidia/nemotron-3-ultra-550b-a55b
  • google/gemma-4-31b-it
  • openai/gpt-oss-20b

Security scan

Level
verified
Scanned at
2026-10-03
Findings
0
Upstream commit
82fe82262526
Description length
845 chars
Files fingerprinted
9

Capabilities

  • property-testing

Stacks

  • *

Pairs with

  • testing
  • smart-contracts

Community experiences

What actually happened when you used this skill. No stars, no ratings — just experience reports.

Local prototype: your comment is stored in this browser only — other visitors cannot see it. The queue below is a moderation simulation (try it with ?demo=moderation in the URL); in production a human moderator approves via signed entries shipped with the site build.

Loading…

Share your experience

Prototype: stored in this browser only, pending moderation. See the moderation design.

Moderation queue (local prototype)

Empty.