{"payload":{"pageCount":3,"repositories":[{"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":29,"issueCount":71,"starsCount":261,"forksCount":29,"license":"GNU Affero General Public License v3.0","participation":[1,0,4,5,0,4,2,0,2,0,3,4,0,0,0,0,5,0,0,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,5,2,4,0,0,0,5,1,5,0,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T16:49:44.977Z"}},{"type":"Public","name":"roundme","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":3,"starsCount":85,"forksCount":5,"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,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,3,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T08:29:24.847Z"}},{"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":28,"issueCount":38,"starsCount":2104,"forksCount":330,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T15:06:32.394Z"}},{"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":345,"forksCount":49,"license":"Apache License 2.0","participation":[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T14:38:40.982Z"}},{"type":"Public","name":"properties","owner":"crytic","isFork":false,"description":"Pre-built security properties for common Ethereum operations","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":6,"issueCount":20,"starsCount":250,"forksCount":37,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,14,11,0,0,0,0,0,0,0,0,0,0,0,2,0,1,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,2,0,2,0,0,0,0,0,0,17],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T11:35:14.651Z"}},{"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":20,"issueCount":131,"starsCount":2598,"forksCount":333,"license":"GNU Affero General Public License v3.0","participation":[2,1,3,0,2,1,3,0,0,0,0,0,1,1,2,0,0,0,0,0,6,3,0,0,0,1,3,0,0,5,2,4,5,6,1,3,0,0,4,3,4,4,0,0,2,2,1,1,3,3,0,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T17:29:13.724Z"}},{"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":56,"issueCount":343,"starsCount":5076,"forksCount":922,"license":"GNU Affero General Public License v3.0","participation":[15,21,32,38,28,19,4,7,6,5,5,10,42,19,29,12,0,6,30,34,9,2,1,1,2,0,11,1,1,0,2,2,4,5,19,14,20,61,13,13,12,15,26,31,20,0,0,0,0,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T13:02:00.170Z"}},{"type":"Public","name":"crytic-compile","owner":"crytic","isFork":false,"description":"Abstraction layer for smart contract build systems","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":12,"issueCount":95,"starsCount":141,"forksCount":81,"license":"GNU Affero General Public License v3.0","participation":[13,19,9,12,11,1,3,8,0,20,9,0,4,5,1,1,0,9,19,8,1,1,5,4,0,0,10,2,3,2,4,15,13,1,3,5,0,0,2,2,3,5,7,1,2,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T23:37:50.387Z"}},{"type":"Public","name":"solana-lints","owner":"crytic","isFork":false,"description":"Lints based on the Sealevel Attacks","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":6,"issueCount":3,"starsCount":28,"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,0,0,0,0,0,0,0,0,0,0,1,0,5,15,6,4,1,2,7,3,0,0,0,1,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T03:07:23.721Z"}},{"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":47,"forksCount":6,"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,6,2,2,0,0,0,0,0,2,2,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T18:17:47.773Z"}},{"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":1,"issueCount":16,"starsCount":82,"forksCount":3,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T13:57:56.037Z"}},{"type":"Public","name":"slither-action","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":3,"issueCount":11,"starsCount":123,"forksCount":17,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T00:50:48.475Z"}},{"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":3,"issueCount":20,"starsCount":29,"forksCount":11,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T09:17:09.637Z"}},{"type":"Public","name":"ethdam","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T10:37:09.951Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T13:39:50.203Z"}},{"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":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T14:21:47.639Z"}},{"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":1,"issueCount":11,"starsCount":15,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T19:49:25.418Z"}},{"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":69,"forksCount":8,"license":"GNU Affero General Public License v3.0","participation":null,"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":396,"forksCount":186,"license":"Creative Commons Attribution 4.0 International","participation":null,"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":58,"forksCount":10,"license":"GNU Affero General Public License v3.0","participation":null,"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":null,"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":148,"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":null,"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":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T10:14:02.110Z"}},{"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":84,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T21:13:51.102Z"}},{"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":1269,"forksCount":188,"license":"Creative Commons Attribution 4.0 International","participation":null,"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":3,"starsCount":124,"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":302,"forksCount":61,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T09:47:36.045Z"}},{"type":"Public","name":"solc-select","owner":"crytic","isFork":false,"description":"Manage and switch between Solidity compiler versions","allTopics":["ethereum","solidity"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":35,"starsCount":735,"forksCount":99,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T08:34:18.558Z"}},{"type":"Public","name":"slither-docs-action","owner":"crytic","isFork":false,"description":"Write documentation for your code in pull requests using Slither and OpenAI.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":7,"issueCount":0,"starsCount":36,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-20T17:01:37.622Z"}}],"repositoryCount":62,"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":"Repositories"}