348,520 packages matching “smt cli”
import-local
v3.2.0 · 2 years ago
Let a globally installed package use a locally installed version of itself if available
No known vulnerabilities
cli-welcome
v3.0.2 · 3 months ago
Welcome header for Node.js CLI software.
No known vulnerabilities
@11ty/eleventy-dev-server
v2.0.8 · 1 year ago
A minimal, modern, generic, hot-reloading local web server to help web developers.
No known vulnerabilities
vue-cli-plugin-vuetify
v2.5.8 · 3 years ago
Vuetify Framework Plugin for Vue CLI 3
No known vulnerabilities
@kryptosai/counterflow
v0.6.1 · 24 days ago
Prove the contract, or reveal the exploit — formal verification for Solidity and DeFi smart contracts. AI-translated invariants proved or refuted by Z3 SMT, with Halmos bytecode backstop and Foundry/Echidna export.
No known vulnerabilities
openapi-merge-cli
v2.0.2 · 9 days ago
A cli tool for the openapi-merge library.
No known vulnerabilities
@angular-devkit/build-webpack
v0.2201.4 · 3 days ago
Webpack Builder for Architect
No known vulnerabilities
libnpmdiff
v9.0.2 · 18 days ago
The registry diff
No known vulnerabilities
@sanity/cli
v8.0.0 · 2 days ago
Sanity CLI tool for managing Sanity projects and organizations
No known vulnerabilities
concurrently
v10.0.5 · 2 days ago
Run commands concurrently
No known vulnerabilities
vite-node
v6.0.0 · 5 months ago
Vite as Node.js runtime
No known vulnerabilities
indexifier
v3.3.0 · 5 years ago
Generate an index from a directory
No known vulnerabilities
@jercle/yargonaut
v1.1.5 · 4 years ago
Decorate yargs content with chalk styles and figlet fonts
No known vulnerabilities
@infisical/cli
v0.43.121 · 9 days ago
<h1 align="center">Infisical CLI</h1> <p align="center"> <p align="center"><b>Embrace shift-left security with the Infisical CLI and strengthen your DevSecOps practices by seamlessly managing secrets across your workflows, pipelines, and applications.</
No known vulnerabilities
broccoli-config-loader
v1.0.1 · 9 years ago
Write your project's environments' configs out to JSON files.
No known vulnerabilities
hugo-extended
v0.164.0 · 1 month ago
✏️ Plug-and-play binary wrapper for Hugo Extended, the awesomest static-site generator.
No known vulnerabilities
@webpack-cli/configtest
v3.0.1 · 1 year ago
Validate a webpack configuration.
No known vulnerabilities
@tencent-qqmail/agently-cli
v1.0.15 · 5 days ago
Agent-first mail CLI for Agently
No known vulnerabilities
@shopify/plugin-cloudflare
v4.6.1 · 9 days ago
Enables the creation of Cloudflare tunnels from `shopify app dev`, allowing previews from any device
No known vulnerabilities
@angular/pwa
v22.1.4 · 3 days ago
PWA schematics for Angular
No known vulnerabilities