reachable
Here are 13 public repositories matching this topic...
NFA to DFA converter, DFA minimization, FA acceptance in Haskell
-
Updated
Jul 22, 2023 - Haskell
REACHABLE AI SAST/SCA with reachability and exploitability proof; proposes reviewable fix PRs. Early access (beta).
-
Updated
Nov 2, 2026 - Python
Claude Code marketplace for the REACHABLE plugin (generated from the signed adapter). Not the scanner.
-
Updated
Nov 12, 2026 - Shell
REACHABLE air-gapped demo: scan, AI coding-agent fix and rescan on a machine with no internet access.
-
Updated
Nov 2, 2026 - Go
Status report notification (battery, reachable, error etc)
-
Updated
Apr 11, 2022 - JavaScript
Reusable GitHub Actions toolkit for REACHABLE risk exposure reduction and reviewable auto-remediation. Early access (beta).
-
Updated
Nov 3, 2026 - Python
GitHub Go demo for REACHABLE risk exposure reduction and reviewable auto-remediation.
-
Updated
Nov 3, 2026 - Python
Public MCP registry data for REACHABLE
-
Updated
Nov 12, 2026
REACHABLE by Sthenos Security: install and signed releases of the reachability- and exploitability-first AI SAST/SCA scanner. Early access (beta).
-
Updated
Nov 12, 2026 - Shell
Same brief to Claude Code, Codex and Cursor: REACHABLE finds each agent's vulnerabilities, hands them back, and rescans to prove the fix.
-
Updated
Nov 4, 2026 - Python
Add this topic to your repo
To associate your repository with the reachable topic, visit your repo's landing page and select "manage topics."