
Product
Socket MCP Adds Org Alerts, Threat Feed Review, and Package Inspection
Socket MCP now lets AI assistants review org alerts, investigate threats using the Socket threat feed, and inspect package files in addition to dependency scoring.
@isl-lang/isl-verify
Advanced tools
TODO: Add description
pnpm add @isl-lang/isl-verify
import {} from '@isl-lang/isl-verify';
TODO: Document public API.
pnpm build # Build the package
pnpm test # Run tests
pnpm typecheck # Type-check without emit
pnpm clean # Remove dist/
MIT
FAQs
ISL verification engine with trust score calculation
The npm package @isl-lang/isl-verify receives a total of 4 weekly downloads. As such, @isl-lang/isl-verify popularity was classified as not popular.
We found that @isl-lang/isl-verify demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?

Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.

Product
Socket MCP now lets AI assistants review org alerts, investigate threats using the Socket threat feed, and inspect package files in addition to dependency scoring.

Product
Socket Firewall blocks malicious VS Code and Open VSX extensions before install, protecting developers from compromised editor marketplaces.

Research
More than 140 Mastra npm packages were compromised in a supply chain attack that used a typosquatted dependency to deliver a cross-platform infostealer during installation.