{"id":25237191,"url":"https://github.com/Recon-Fuzz/chimera","last_synced_at":"2025-10-26T12:30:38.186Z","repository":{"id":205815241,"uuid":"715151419","full_name":"Recon-Fuzz/chimera","owner":"Recon-Fuzz","description":"Smart Contract Property-Based Testing Framework","archived":false,"fork":false,"pushed_at":"2025-02-10T12:24:20.000Z","size":40,"stargazers_count":93,"open_issues_count":0,"forks_count":9,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-02-10T13:28:36.435Z","etag":null,"topics":["echidna","foundry","fuzzer","halmos","medusa","smart-contracts"],"latest_commit_sha":null,"homepage":"","language":"Solidity","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Recon-Fuzz.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-11-06T15:21:57.000Z","updated_at":"2025-02-10T12:24:23.000Z","dependencies_parsed_at":"2023-11-07T00:11:58.566Z","dependency_job_id":"98d0d290-1ecd-453f-9119-1b5638f0e94b","html_url":"https://github.com/Recon-Fuzz/chimera","commit_stats":null,"previous_names":["aviggiano/chimera","recon-fuzz/chimera"],"tags_count":3,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Recon-Fuzz%2Fchimera","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Recon-Fuzz%2Fchimera/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Recon-Fuzz%2Fchimera/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Recon-Fuzz%2Fchimera/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Recon-Fuzz","download_url":"https://codeload.github.com/Recon-Fuzz/chimera/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":238320484,"owners_count":19452562,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["echidna","foundry","fuzzer","halmos","medusa","smart-contracts"],"created_at":"2025-02-11T15:33:37.849Z","updated_at":"2025-10-26T12:30:38.172Z","avatar_url":"https://github.com/Recon-Fuzz.png","language":"Solidity","funding_links":[],"categories":["Tooling"],"sub_categories":["Libraries \u0026 Frameworks"],"readme":"## Chimera\n\nChimera is a smart contract property-based testing framework. Write once, run everywhere.\n\n \u003ca href=\"https://github.com/Recon-Fuzz/chimera/assets/3029017/65828e54-8c55-4292-9467-4efe94dc6347\"\u003e\u003cimg src=\"https://github.com/Recon-Fuzz/chimera/assets/3029017/65828e54-8c55-4292-9467-4efe94dc6347\" width=\"300\"/\u003e\u003c/a\u003e\n \n### Installation\n\n```bash\nforge install Recon-Fuzz/chimera\n```\n\n### Motivation\n\nWhen writing property-based tests, developers commonly face several issues: \n- the amount of boilerplate code required\n- the challenge of switching tools after the initial setup\n- the difficulty in sharing results between different tools\n\nWriting invariant tests that work seamlessly with Foundry, Echidna, Medusa, and Halmos is not straightforward. \n\nChimera addresses this problem by enabling a \"write once, run everywhere\" approach.\n\n### Limitations\n\nChimera currently only supports cheatcodes implemented by [HEVM](https://hevm.dev/std-test-tutorial.html#supported-cheat-codes). \n\nFoundry has extended these and offers functionality not supported by the HEVM cheatcodes, subsequently these must be accounted for when adding Chimera to a Foundry project as they will cause issues when running Echidna and Medusa. If adding Chimera to an existing Foundry project ensure that there are no cheatcodes implemented that aren't supported by HEVM as they will throw the following error: `VM failed for unhandled reason, BadCheatCode \u003ccheatcode hash\u003e`.  \n\nWhile **medusa** supports `etch`, echidna does not support it yet. Please note when using `etch` in an echidna environment it will not work as expected.\n\n### Features\n\n- [x] Boilerplate contracts for Foundry, Echidna, Medusa, Halmos and Kontrol tests\n\n### Help\n\nJoin the Recon Discord: https://getrecon.xyz/discord\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FRecon-Fuzz%2Fchimera","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FRecon-Fuzz%2Fchimera","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FRecon-Fuzz%2Fchimera/lists"}