The Deterministic Verification Engine.
AI Auditors hallucinate. SENTRY proves.
We bridge the gap between Stochastic AI (DeepSeek/LLMs) and Deterministic Execution (Foundry). Moving from "Probability" to "Cryptographic Truth".
| Feature | Standard AI Auditor | SENTRY |
|---|---|---|
| Methodology | Generative / Stochastic | Verificational / Deterministic |
| Output | Probability-based Reports | Cryptographic Proofs (PoC) |
| False Positives | High Noise | Zero. False. Positives. |
| Execution | Static Analysis | Live Dynamic Execution |
SENTRY solves "Import Hell" via a proprietary Dependency Virtualization Layer that mocks complex dependencies (OpenZeppelin) inside an ephemeral sandbox, enabling 300ms verification loops.
[ INPUT SOURCE ]
|
v
[ SANITIZER ] :: (Regex / Mocking Engine)
|
v
[ VIRTUALIZATION LAYER ] :: (Ephemeral Sandbox)
|
v
[ AI AGENT ] :: (DeepSeek v3.2 / Targeting)
|
v
[ FOUNDRY ENGINE ] :: (Fuzzing / Verification)
|
v
[ VERDICT ] :: (Pass / Fail)The Innovation: The Dependency Virtualization Layer is the key technical feat. It prevents compilation errors by virtually mounting standard libraries (OpenZeppelin, Solmate) on-the-fly, creating a "perfect" build environment for the AI's generated exploits.
Uses DeepSeek v3.2 to extract AST vectors and identify potential attack surfaces. It does not write reports; it generates attack hypotheses.
Auto-generation of Solidity Test Harnesses. Inspired by Trail of Bits, SENTRY programmatically constructs executables to validate the AI's hypothesis.
Clean-room environment for every request. No shared state, no pollution.
The Feedback Loop:
- AI identifies the target.
- Blockchain verifies the truth.
- Zero hallucinations survive the chain.
Foundry Native: Built on the metal of the Ethereum standard. If it compiles in Foundry, it runs in SENTRY.
# 1. Clone
git clone https://github.com/your-username/sentry.git
# 2. Install
pnpm install
# 3. Install Foundry (CRITICAL)
foundryup
# 4. Burn
npm run devSENTRY // Deterministic Verification Engine.