类库
› speca
NyxFoundation/speca
SPECA是一个基于规范的智能审计框架,能将自然语言规范转化为结构化安全检查清单,通过证明尝试推理来发现代码审计工具无法检测的规范级安全漏洞。
技术栈
cli javascript
框架
React
^19.0.0
测试
Vitest
^2.1.0
查看全部依赖 (24)
依赖
@clack/prompts
^1.3.0
ajv
^8.17.0
ajv-formats
^3.0.1
chokidar
^5.0.0
cli-highlight
^2.1.11
execa
^9.6.1
fast-glob
^3.3.2
ink
^7.0.1
meow
^13.2.0
smol-toml
^1.6.1
which
^5.0.0
zod
^3.25.76
开发依赖
@stryker-mutator/core
^9.6.1
@stryker-mutator/vitest-runner
^9.6.1
@types/node
^22.0.0
@types/react
^19.0.0
@types/which
^3.0.4
@vitest/coverage-v8
^2.1.9
fast-check
^4.7.0
ink-testing-library
^4.0.0
json-schema-to-typescript
^15.0.4
json-schema-to-zod
^2.8.1
tsx
^4.19.0
typescript
^5.6.0