Jev topic
Jev Static Analysis
3 curated entries tagged static-analysis.
All 3 Jev Static Analysis
Filter these entries by what they are called or what they do.
No entries match those filters.
None of the entries shown here match. 0 more carry this tag — browse all 3 in the directory.
- Python CLI and agent skill that reviews Agent Skills, MCP configs, and source code for suspicious behavior with TypeSafe Jev plus local static checks, reporting file and line evidence, risk categories, model probabilities, and unscanned scope.Jev Tools & CLIs#community#catalog-import#logicrwCommunity
win4r/jev-security-scanPython
- A linter for Jev queries that takes the request you would send to System One — a state and the questions asked about it — and reports where the query is written in a way the model is documented to handle badly. Static checks run free without a key; the rest ask Jev.Jev Tools & CLIs#community#catalog-import#logicrwCommunity
fox-islam/jevlintPython
- Go linter whose rules are plain-English questions: AST matchers select nodes and Jev answers one Noul per fragment above the rule's threshold. It runs standalone, under go vet, and as a golangci-lint plugin, with cached answers so runs only ask about changed code.Jev Tools & CLIs#community#linter#goCommunity
arturobermejo/semcheckGo