| name | ctf-solvers |
|---|---|
| description | Solve authorized smart-contract CTF challenges end-to-end. Use for EVM challenge analysis, live deployment verification, exploit-solver contracts, and runnable Foundry/cast instructions. |
Only use this skill for authorized CTFs, training environments, or contracts the user explicitly controls.
| (ns junit | |
| "could see as a modern replacement for lein-junit, which afaik does junit 4 at most. | |
| find and run some junit tests from clojure. | |
| deps required are junit-jupiter, junit-jupiter-engine, junit-platform-launcher and junit-platform-reporting | |
| " | |
| (:require [clojure.java.io :as io]) | |
| (:import (java.nio.file Paths) | |
| (org.junit.platform.engine.discovery DiscoverySelectors) |
| [{"key": "f1", "command": "type", | |
| "args": { "text": "(" }, | |
| "when": "editorTextFocus & !editorReadonly"} | |
| ] |
| (ns create-zip-archive | |
| (:import (java.net URI) | |
| (java.nio.charset StandardCharsets) | |
| (java.nio.file FileSystem FileSystems Files Paths StandardOpenOption))) | |
| (let [path (Paths/get "test.zip" (make-array String 0)) | |
| uri (URI/create (str "jar:" (.toUri path)))] | |
| (with-open [fs (FileSystems/newFileSystem uri {"create" "true"})] | |
| (let [nf (FileSystem/.getPath fs "new.txt" (make-array String 0))] | |
| (with-open [writer (Files/newBufferedWriter nf, StandardCharsets/UTF_8, (into-array [StandardOpenOption/CREATE]))] |
| (ns git-analyze | |
| (:require [clojure.java.process :as process] | |
| [clojure.string :as string] | |
| [com.widdindustries.tempo :as tempo])) | |
| (defn changed-files [] | |
| (->> | |
| (process/exec "git" "log" "--pretty=%x0a%cI" "--name-only" "--date=iso") | |
| (string/split-lines) | |
| (remove string/blank?) |
| (ns flexi-clock | |
| (:import (java.time Clock Duration Instant ZonedDateTime))) | |
| (defn clock | |
| "potential library function (e.g. in tick or tempo). | |
| This just implements the platform Clock - which works because non-test code only uses that API. | |
| Any manipulation of time (which happens in testing code) is done via changing | |
| what get-instant and get-zone return" | |
| [get-instant get-zone] |
| (ns webserver-ssl-context | |
| (:require [clojure.java.io :as io] | |
| [clojure.string :as str] | |
| ) | |
| (:import (java.security KeyFactory KeyStore) | |
| (java.security.spec X509EncodedKeySpec) | |
| [javax.xml.bind DatatypeConverter])) | |
| (defn parse-der-from-pem [pem begin-delimiter end-delimiter] |
| (ns mutable-clock | |
| (:import (java.time Clock Duration Instant ZoneId))) | |
| (definterface MutableClock | |
| (setZone [zone]) | |
| (setInstant [instant])) | |
| (defn mutable-clock [_instant _zone] | |
| (let [instant-atom (atom _instant) | |
| zone-atom (atom _zone)] |
| (ns com.widdindustries.minimal-ssl-context | |
| (:import (java.security SecureRandom) | |
| (javax.net.ssl SSLContext X509ExtendedTrustManager))) | |
| (let [context (SSLContext/getInstance "TLS")] | |
| (.init context nil | |
| (into-array [(proxy [X509ExtendedTrustManager] [] | |
| (checkClientTrusted [& _]) | |
| (checkServerTrusted [& _]))]) |
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <title>demo</title> | |
| </head> | |
| <body> | |
| <div id="app" style="min-height:100%"> | |
| Hello world! |