DEciding Equivalence Properties in SECurity protocols
-
Updated
Mar 1, 2023 - OCaml
#
deepsec
Here are 5 public repositories matching this topic...
Android App to tunnel access from HTTPs C&C server into Private LAN
-
Updated
Feb 4, 2022 - Java
v0.2.1: VulnClaw + DeepSec bridge for DeepSeek Harness (dsh) — 安全工具台
-
Updated
Aug 18, 2026 - TypeScript
Orca plugin: real-time security advisories for AI-generated code (secrets, injection, insecure config) with one-click fix back to the agent terminal. Port of DeepSec. Advisory tool — expect false positives. 繁中/EN/简中/日本語
nodejs security developer-tools orca codex sast secret-scanning deepsec ai-coding vibe-coding claude-code orca-plugin orca-ide
-
Updated
Sep 2, 2026 - JavaScript
A TUI for deepsec audits: your Pi models, thinking levels, and run settings — no flags to memorize.
-
Updated
Aug 18, 2026 - Rust
Add this topic to your repo
To associate your repository with the deepsec topic, visit your repo's landing page and select "manage topics."