pypi.org "ai-code" keyword
nightjar-verify 0.1.3
Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, w...4 versions - Latest release: 2 days ago - 1 maintainer
autoai-codetrust 0.6.0
AI code security scanner — catches vulnerabilities, hallucinated dependencies, and compliance iss...6 versions - Latest release: 4 days ago - 1 maintainer
vibe-code-check 0.1.0
Production-readiness scanner for AI/vibe-coded projects1 version - Latest release: 6 days ago - 91 downloads last month - 1 maintainer
drift-analyzer 0.5.0
Detect architectural erosion from AI-generated code — the first deterministic codebase coherence ...1 version - Latest release: 8 days ago - 85 downloads last month - 1 maintainer
py-mergeguard 0.1.2
Cross-PR intelligence for the agentic coding era3 versions - Latest release: 28 days ago - 229 downloads last month - 1 maintainer
Related Keywords
static-analysis
3
code-quality
3
security
2
vibe-coding
2
snyk-alternative
1
vulnerability-scanner
1
security-scanner
1
production-readiness
1
hipaa
1
healthcare
1
architecture
1
code-analysis
1
codebase-health
1
design-erosion
1
technical-debt
1
code-review
1
developer-tools
1
git
1
pull-request
1
sast
1
mcp
1
hallucination-detection
1
cursor
1
copilot
1
code-security
1
claude
1
ai-scanner
1
smt-solver
1
code-verification
1
hypothesis
1
crosshair
1
dafny
1
property-based-testing
1
formal-verification
1