Add Just recipe for Invariant Path wrapper

Author: hyperpolymath

Justfile

@@ -60,6 +60,10 @@ clean:
 run *ARGS:
     cargo run -- {{ARGS}}
 
+# Run Invariant Path overlay tools for this repository
+invariant-path *ARGS:
+    ./scripts/invariant-path.sh {{ARGS}}
+
 # Generate docs
 doc:
     cargo doc --no-deps --open

tools/invariant-path/README.md

@@ -6,6 +6,12 @@ Echidna wrapper script:
 ./scripts/invariant-path.sh scan --file ./README.adoc --artifact-uri repo://README.adoc --write
 ```
 
+Via `just` from repo root:
+
+```bash
+just invariant-path scan --file ./README.adoc --artifact-uri repo://README.adoc --write
+```
+
 Default profile: `echidna`
 
 Focus:
@@ -14,3 +20,6 @@ Focus:
 - local result -> universal claim
 
 Store path defaults to `.invariant-path/` in the current working directory.
+
+Desktop/start-menu launcher for shared tooling:
+- `/var/mnt/eclipse/repos/.desktop-tools/invariant-path-launcher.sh`