property▌
3 indexed skills · max 10 per page
extract-property-data
realestate.com.au/extract-property-data-f0o2u7 · real-estate
Extract structured property information from a realestate.com.au listing or address — location data (address + lat/lon), price range or sold price, key statistics (beds/baths/parking/land size/property type), agent + agency, and the full historical sale price timeline from the Property Pages address profile.
property-based-testing
aj-geddes/useful-ai-prompts · Testing
Property-based testing verifies that code satisfies general properties or invariants for a wide range of automatically generated inputs, rather than testing specific examples. This approach finds edge cases and bugs that example-based tests often miss.
property-based-testing
trailofbits/skills · Testing
Guidance for property-based testing across languages and smart contracts. \n \n Detects high-value PBT patterns automatically: serialization pairs, parsers, validators, normalization, data structures, algorithms, and smart contract state invariants \n Provides a property catalog with 10 core patterns (roundtrip, idempotence, invariant, commutativity, associativity, identity, inverse, oracle, easy-to-verify, no exception) ranked by strength \n Includes decision tree routing to language-specific r