feat: initial contracts setup

.gitignore

@@ -1,6 +1,8 @@
 # stellar/soroban/Rust output
 target
 .soroban
+.stellar
+.stellar-completions/
 
 # project identity and alias files will be in .config/stellar
 .config
@@ -28,8 +30,6 @@ lerna-debug.log*
 .env
 .env.*
 !.env.example
-
-# easy way to create temporary local-only files and folders
 *.local.*
 
 # macOS-specific files
@@ -39,18 +39,22 @@ lerna-debug.log*
 app-lib/clients/*
 !app-lib/clients/.gitkeep
 
-# Agent/editor scratch
-.claude/
-
 # TypeScript incremental build info
 *.tsbuildinfo
 
-# Local agent tooling — per-developer. Each wires an agent to a binary a teammate may
-# not have installed, so committing them would break their sessions rather than help.
+# Local agent tooling — per-developer.
 .claude/
 .mcp.json
 .ignore
 .atl/
 graft/
 .agents/
 skills-lock.json
+
+
+# TLA+ / TLC generated artifacts
+**/states/
+*.st
+*_TTrace_*.tla
+*.old
+*.bak

.pre-commit-config.yaml

@@ -0,0 +1,15 @@
+# prek (pre-commit compatible) — https://github.com/j178/prek
+# Enable once per clone with: prek install
+repos:
+  - repo: local
+    hooks:
+      - id: cargo-fmt
+        name: cargo fmt
+        entry: cargo fmt --all
+        language: system
+        types: [rust]
+        pass_filenames: false
+  - repo: https://github.com/gitleaks/gitleaks
+    rev: v8.30.1
+    hooks:
+      - id: gitleaks