# crytic/properties

<https://repo.masters-masters.com/en/repos/crytic/properties>

[Home](https://repo.masters-masters.com/en) › [crytic](https://repo.masters-masters.com/en/owners/crytic) › [properties](https://repo.masters-masters.com/en/repos/crytic/properties)

crytic/properties has 372 stars on GitHub. Its RepoMasters card: Alpha tier. Pre-built security properties for common Ethereum operations Language: Solidity.

| Field | Value |
| --- | --- |
| Owner | [crytic](https://repo.masters-masters.com/en/owners/crytic) |
| Stars | 372 |
| Forks | 60 |
| Language | [Solidity](https://repo.masters-masters.com/en/languages/solidity) |
| License | AGPL-3.0 |
| Created | 2023 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [crytic/properties](https://github.com/crytic/properties) |

## Repository

Pre-built security properties for common Ethereum operations

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by crytic

- [crytic/slither · ★ 6,400 · Python · Stable](https://repo.masters-masters.com/en/repos/crytic/slither)
- [crytic/echidna · ★ 3,189 · Haskell · RC](https://repo.masters-masters.com/en/repos/crytic/echidna)
- [crytic/building-secure-contracts · ★ 2,482 · Solidity · RC](https://repo.masters-masters.com/en/repos/crytic/building-secure-contracts)
- [crytic/not-so-smart-contracts · ★ 2,226 · Solidity · RC](https://repo.masters-masters.com/en/repos/crytic/not-so-smart-contracts)
- [crytic/awesome-ethereum-security · ★ 1,482 · Beta](https://repo.masters-masters.com/en/repos/crytic/awesome-ethereum-security)
- [crytic/evm-opcodes · ★ 1,351 · Beta](https://repo.masters-masters.com/en/repos/crytic/evm-opcodes)

## Nearby in Solidity

- [AFKDAO/wrapper · ★ 375 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/AFKDAO/wrapper)
- [bokkypoobah/BokkyPooBahsDateTimeLibrary · ★ 373 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/bokkypoobah/BokkyPooBahsDateTimeLibrary)
- [graphprotocol/contracts · ★ 373 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/graphprotocol/contracts)
- [keep3r-network/keep3r.network · ★ 370 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/keep3r-network/keep3r.network)
- [Wadoozie/SmartContracts · ★ 367 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/Wadoozie/SmartContracts)
- [ourzora/v3 · ★ 364 · Solidity · Alpha](https://repo.masters-masters.com/en/repos/ourzora/v3)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.