crates.io "code-security" keyword
View the packages on the crates.io package registry that are tagged with the "code-security" keyword.
qwed 1.0.0
Rust SDK for QWED Verification Protocol1 version - Latest release: 28 days ago - 10 downloads total - 33 stars on GitHub - 1 maintainer
nyx-scanner 0.1.1
A CLI security scanner for automating vulnerability checks2 versions - Latest release: 7 months ago - 830 downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
ai
1
llm
1
qwed
1
trust
1
verification
1
ai-accuracy
1
ai-safety
1
ai-security
1
claude
1
deterministic-ai
1
enterprise-ai
1
formal-verification
1
gpt
1
hallucination
1
hallucination-detection
1
llm-verification
1
machine-learning
1
model-testing
1
nlp
1
openai
1
python
1
sympy
1
z3-prover
1
cli
1
security
1
automation
1
scanner
1
vulnerability
1
ast-analysis
1
cli-tool
1
code-analysis
1
code-quality
1
developer-tools
1
multi-language
1
rust
1
rust-cli
1
sast
1
security-automation
1
security-scanner
1
security-scanning
1
security-tools
1
sqlite
1
static-analysis
1
static-code-analysis
1
tree-sitter
1
vulnerability-detection
1
vulnerability-scanner
1