Sanctifier good first issues (Rust)

Feature: Investigate integration capability 8 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 7 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 6 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 5 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 4 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 3 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 2 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Feature: Investigate integration capability 1 for future release about 1 month ago

enhancement help wanted

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 30 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 29 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 28 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 27 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 26 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 25 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 24 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 23 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 22 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 21 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 20 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 19 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 18 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 17 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 16 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 15 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 14 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 13 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 12 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 11 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 10 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 9 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 8 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 7 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 6 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 5 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 4 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 3 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 2 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Test: Increase unit test coverage for component 1 about 1 month ago

good first issue testing

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 20 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 19 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 18 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 17 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 16 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 15 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 14 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 13 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 12 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 11 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 10 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 9 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 8 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 7 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 6 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 5 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 4 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 3 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 2 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

Docs: Expand inline documentation for module part 1 about 1 month ago

documentation good first issue

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Docs: Publish API reference for sanctifier-core (cargo doc) 4 months ago

good first issue Stellar Wave area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[next-wave] Python SDK for runtime-guard integration 4 months ago

enhancement good first issue difficulty:easy tooling Stellar Wave next-wave sdk

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CI: Add lint job that pins markdown link integrity (link-check) 5 months ago

good first issue Stellar Wave area: ci/cd area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CI: Migrate all actions/* from Node 20 to Node 24 5 months ago

good first issue maintenance Stellar Wave area: ci/cd type: refactor difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Engine: Suggest / alongside existing / 5 months ago

good first issue analysis Stellar Wave area: core-engine type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: Auto-detect Cargo.toml workspace root in subdirectories 5 months ago

good first issue Stellar Wave area: cli type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: TTY-aware color parity across all subcommands 5 months ago

good first issue Stellar Wave area: cli type: refactor difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: Streaming '--ndjson' output for incremental piping 5 months ago

good first issue Stellar Wave area: cli type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: 'sanctifier explain <CODE>' rich finding-code lookup 5 months ago

good first issue tooling Stellar Wave area: cli type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Engine: Suggest 'checked_div'/'checked_rem' alongside existing 'checked_add'/'mul' 5 months ago

good first issue analysis Stellar Wave area: core-engine type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Engine: Detect direct 'xdr::*' raw construction 5 months ago

good first issue analysis Stellar Wave area: core-engine type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Engine: Detect deprecated 'env.storage().instance()' usage patterns 5 months ago

good first issue Stellar Wave area: core-engine type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Docs: Rewrite onboarding 'first contribution in 30 min' guide 5 months ago

good first issue Stellar Wave area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Docs: Translate README to ES, PT, ZH 5 months ago

good first issue Stellar Wave area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: 'sanctifier install-hooks' pre-commit/pre-push installer 5 months ago

good first issue tooling Stellar Wave area: cli type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: Coloured diff output with '+/-' summary for 'sanctifier diff' 5 months ago

good first issue visualization Stellar Wave area: cli type: refactor difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Integrations: 'cargo sanctify' cargo subcommand shim 5 months ago

good first issue Stellar Wave area: cli type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Engine: Auto-suggest 'BytesN<32>' over 'Bytes' for fixed-size hashes 5 months ago

good first issue analysis Stellar Wave area: core-engine type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Engine: Detect use of 'env.ledger().timestamp()' for randomness 5 months ago

good first issue security Stellar Wave area: core-engine type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] /api/analyze temp dir leaks when CLI errors or hits the 30s timeout 5 months ago

good first issue Stellar Wave area: api priority: medium type: bug difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Frontend: '/playground' deeplink with prefilled sample contract 5 months ago

good first issue Stellar Wave area: frontend type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] No top-level error boundary — unhandled React errors blank the whole app 5 months ago

good first issue Stellar Wave area: frontend priority: medium type: bug difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] Theme toggle missing 'System' and 'High Contrast' options (CSS exists, UI doesn't) 5 months ago

good first issue Stellar Wave area: frontend priority: medium type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Docs: Contributor handbook — style, review SLAs, label glossary 5 months ago

good first issue Stellar Wave area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] Regression test: dashboard CallGraph silently renders empty when extractCallGraph shape changes 5 months ago

good first issue Stellar Wave area: frontend area: testing priority: medium type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] Workspace state lost on reload (no localStorage/IndexedDB persistence) 5 months ago

good first issue Stellar Wave area: frontend priority: medium type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Testing: Golden-file regeneration script for contract fixtures 5 months ago

good first issue Stellar Wave area: contracts area: testing type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Frontend: Keyboard shortcuts (j/k findings nav, / search, ? help) 5 months ago

good first issue Stellar Wave area: frontend type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] No env-var validation — missing AI_EXPLAIN_PROVIDER silently returns stub responses 5 months ago

good first issue Stellar Wave area: frontend area: api priority: medium type: bug difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Frontend: Drag-and-drop multi-file batch upload 5 months ago

good first issue Stellar Wave area: frontend type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Frontend: Persist theme preference (light/dark/system) to localStorage 5 months ago

good first issue Stellar Wave area: frontend type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] CLI: 'sanctifier completions' shell completion generator 5 months ago

good first issue tooling Stellar Wave area: cli type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] No global toast/notification system — errors render as inline strings only 5 months ago

good first issue Stellar Wave area: frontend priority: medium type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] /terminal 'Export Logs' card is decorative — no actual export button or handler 5 months ago

good first issue Stellar Wave area: frontend priority: low type: bug difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Testing: CRLF / line-ending tolerance in parser tests 5 months ago

good first issue Stellar Wave area: core-engine area: testing type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] Theme toggle only affects NavBar, not page content (Tailwind v4 dark variant unwired) 5 months ago

good first issue Stellar Wave area: frontend priority: high type: bug difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Integrations: Slack notifier — opt-in workflow for finding deltas 5 months ago

good first issue automation Stellar Wave type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[app-bug] Findings list has no keyboard navigation (j/k, /, ?, esc) 5 months ago

good first issue Stellar Wave area: frontend priority: low type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Docs: Glossary of Soroban-specific terms 5 months ago

good first issue Stellar Wave area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Docs: Tutorial video script for live-testnet walkthrough 5 months ago

good first issue Stellar Wave area: docs type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Contracts: Add deposit-withdraw example with intentional auth bypass 5 months ago

good first issue Stellar Wave area: contracts type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

[contrib-wave] Frontend: Markdown-style report exporter (in addition to PDF) 5 months ago

good first issue Stellar Wave area: frontend type: feature difficulty: easy

HyperSafeD/Sanctifier

4

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

Rust

HyperSafeD/Sanctifier

Open Issues Need Help