{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"877c3729-bb4e-4041-8d37-c4480dbd62b5","slug":"z3-python-ctf","revision":2,"name":"z3-python-ctf","description":"🐍 Solving CTF challenges using Z3 and Python","url":"https://app.decomphub.com/projects/z3-python-ctf","jsonUrl":"https://app.decomphub.com/data/projects/z3-python-ctf.json","markdownUrl":"https://app.decomphub.com/data/projects/z3-python-ctf.md","category":"applications","workTypes":["reverse-engineering"],"targets":["Unknown"],"status":"unknown","publishedAt":"2026-10-12T07:38:30.981Z","updatedAt":"2026-10-12T07:38:30.980Z","repository":{"url":"https://github.com/virb3/z3-python-ctf","host":"github.com","fullPath":"virb3/z3-python-ctf","description":"🐍 Solving CTF challenges using Z3 and Python","license":null,"starCount":63,"starsCheckedAt":"2026-10-07T01:58:29.367Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-07T01:58:29.367Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/virb3/z3-python-ctf"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=topic%3Areverse-engineering+is%3Apublic+fork%3Afalse+created%3A2018-09-09..2019-11-16&sort=updated&order=desc&per_page=100&page=3"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["Python"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}