{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"echidna","owner":"crytic","isFork":false,"description":"Ethereum smart contract fuzzer","allTopics":["testing","security","ethereum","smart-contracts","solidity","fuzzer","evm"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":21,"issueCount":121,"starsCount":2671,"forksCount":353,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,2,2,0,0,0,0,0,5,2,2,0,0,1,3,0,0,2,3,5,4,4,5,3,0,0,2,5,3,5,0,0,1,2,1,2,2,4,0,5,2,1,4,2,1,4,7,3,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T06:27:01.886Z"}},{"type":"Public","name":"medusa","owner":"crytic","isFork":false,"description":"Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":27,"issueCount":79,"starsCount":282,"forksCount":35,"license":"GNU Affero General Public License v3.0","participation":[3,3,1,0,0,0,5,0,0,0,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,5,1,2,3,0,0,3,2,4,2,0,0,1,0,0,0,0,0,0,1,5,0,0,8,12,9],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T06:26:58.745Z"}},{"type":"Public","name":"slither","owner":"crytic","isFork":false,"description":"Static Analyzer for Solidity and Vyper","allTopics":["static-analysis","ethereum","solidity","vyper"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":51,"issueCount":354,"starsCount":5183,"forksCount":953,"license":"GNU Affero General Public License v3.0","participation":[5,6,20,43,29,10,4,2,8,54,11,9,3,0,3,0,10,2,1,0,2,3,2,4,22,7,26,55,7,24,13,16,20,36,26,4,19,4,2,3,8,2,12,9,0,0,2,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T18:58:32.050Z"}},{"type":"Public","name":"properties","owner":"crytic","isFork":false,"description":"Pre-built security properties for common Ethereum operations","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":7,"issueCount":20,"starsCount":268,"forksCount":42,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,2,0,1,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,2,0,0,0,0,0,0,7,10,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T14:52:55.786Z"}},{"type":"Public","name":"building-secure-contracts","owner":"crytic","isFork":false,"description":"Guidelines and training material to write secure smart contracts","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":27,"issueCount":39,"starsCount":2174,"forksCount":341,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T13:36:32.043Z"}},{"type":"Public","name":"solana-lints","owner":"crytic","isFork":false,"description":"Lints based on the Sealevel Attacks","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":10,"issueCount":3,"starsCount":29,"forksCount":4,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,2,10,14,3,1,3,4,5,1,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T03:05:56.206Z"}},{"type":"Public","name":"contract-explorer","owner":"crytic","isFork":false,"description":"Visual Studio Code integration for Slither, a Solidity static analysis framework","allTopics":["static-analysis","ethereum","visual-studio-code","solidity","vscode-extension"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":4,"issueCount":20,"starsCount":29,"forksCount":11,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-28T15:51:39.622Z"}},{"type":"Public","name":"slither-lsp","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,11,13,19,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-28T15:51:03.203Z"}},{"type":"Public","name":"cloudexec","owner":"crytic","isFork":false,"description":"A general purpose foundation for cloud-based fuzzing and mutation testing jobs","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":2,"issueCount":18,"starsCount":17,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,4,21,20,30,17,0,0,0,0,0,0,2,3,0,0,0,5,17,0,0,5,0,0,0,0,6,59,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-26T20:49:07.255Z"}},{"type":"Public","name":".github","owner":"crytic","isFork":true,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T10:15:24.248Z"}},{"type":"Public","name":"crytic-compile","owner":"crytic","isFork":false,"description":"Abstraction layer for smart contract build systems","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":13,"issueCount":101,"starsCount":145,"forksCount":84,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-22T10:02:53.220Z"}},{"type":"Public","name":"attacknet","owner":"crytic","isFork":false,"description":"Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":6,"starsCount":53,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T12:23:25.295Z"}},{"type":"Public","name":"ethereum-package","owner":"crytic","isFork":true,"description":"A Kurtosis package that deploys a private, portable, and modular Ethereum devnet","allTopics":[],"primaryLanguage":{"name":"Starlark","color":"#76d275"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":110,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T11:55:33.102Z"}},{"type":"Public","name":"medusa-geth","owner":"crytic","isFork":false,"description":"A go-ethereum fork enabling additional testing capabilities for medusa","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T14:10:30.639Z"}},{"type":"Public","name":"slither-workshop","owner":"crytic","isFork":false,"description":"Slither workshop (secureum)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T08:32:00.167Z"}},{"type":"Public","name":"fuzz-utils","owner":"crytic","isFork":false,"description":"A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":2,"issueCount":17,"starsCount":86,"forksCount":4,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-13T16:26:38.569Z"}},{"type":"Public","name":"roundme","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":3,"starsCount":86,"forksCount":6,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T12:43:19.119Z"}},{"type":"Public","name":"pyevmasm","owner":"crytic","isFork":false,"description":"Ethereum Virtual Machine (EVM) disassembler and assembler","allTopics":["python","ethereum","assembler","evm","dissassembler"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":10,"starsCount":351,"forksCount":49,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,1,0,0,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T14:38:40.982Z"}},{"type":"Public","name":"slither-action","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":2,"issueCount":12,"starsCount":126,"forksCount":18,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T00:50:48.475Z"}},{"type":"Public","name":"ethdam","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T10:37:09.951Z"}},{"type":"Public","name":"diffusc","owner":"crytic","isFork":false,"description":"Experimental tool to ease the review of smart contracts upgrades","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":2,"starsCount":70,"forksCount":8,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T09:17:58.689Z"}},{"type":"Public","name":"blockchain-security-contacts","owner":"crytic","isFork":false,"description":"Directory of security contacts for blockchain companies","allTopics":["security","email","directory","ethereum","blockchain"],"primaryLanguage":null,"pullRequestCount":2,"issueCount":4,"starsCount":401,"forksCount":188,"license":"Creative Commons Attribution 4.0 International","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T11:14:15.003Z"}},{"type":"Public","name":"echidna-action","owner":"crytic","isFork":false,"description":"GitHub Action to run Echidna, the Ethereum smart contract fuzzer","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":5,"starsCount":59,"forksCount":10,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-29T17:02:46.444Z"}},{"type":"Public","name":"ardc_proposal","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T17:39:38.526Z"}},{"type":"Public","name":"amarna","owner":"crytic","isFork":false,"description":"Amarna is a static-analyzer and linter for the Cairo programming language.","allTopics":["cairo","starknet","linter","static-analysis"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":11,"starsCount":150,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T21:27:06.819Z"}},{"type":"Public","name":"tealer","owner":"crytic","isFork":false,"description":"Static Analyzer for Teal","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":38,"starsCount":61,"forksCount":14,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,7,5,2,4,42,3,0,0,0,0,1,0,0,0,1,4,14,0,0,0,12,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-08T14:11:08.744Z"}},{"type":"Public","name":"fuzz-vs-fv","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T10:14:02.110Z"}},{"type":"Public","name":"awesome-ethereum-security","owner":"crytic","isFork":false,"description":"A curated list of awesome Ethereum security references","allTopics":["security","ethereum","solidity","evm"],"primaryLanguage":null,"pullRequestCount":18,"issueCount":4,"starsCount":1302,"forksCount":193,"license":"Creative Commons Attribution 4.0 International","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T19:12:46.245Z"}},{"type":"Public","name":"caracal","owner":"crytic","isFork":false,"description":"Static Analyzer for Starknet smart contracts","allTopics":[],"primaryLanguage":{"name":"Cairo","color":"#ff4a48"},"pullRequestCount":0,"issueCount":4,"starsCount":127,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-25T13:43:20.882Z"}},{"type":"Public","name":"ida-evm","owner":"crytic","isFork":false,"description":"IDA Processor Module for the Ethereum Virtual Machine (EVM)","allTopics":["ida","ida-pro","evm","dissassembler","processor-module"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":5,"starsCount":306,"forksCount":60,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T09:47:36.045Z"}}],"repositoryCount":63,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"crytic repositories"}