19,199 packages matching “proof-gate”
anvil-sol
v0.7.0 · 27 days ago
Anvil — Anchor → Pinocchio/Native transpiler with a byte-equal proof gate. Converts Anchor source into a cargo-buildable project from a single typed IR (deterministic emit + validator + portability lint), then proves the port: anvil verify builds both bin
No known vulnerabilities
@relaxedg/proof-gate
v0.1.0 · 25 days ago
A tiny CI gate that makes done require class-aware, inspectable evidence.
No known vulnerabilities
@ruvector/graph-transformer
v2.0.4 · 5 months ago
Proof-gated graph transformer with 8 verified modules — physics, biological, manifold, temporal, economic graph intelligence via NAPI-RS
No known vulnerabilities
@lovable.dev/vite-plugin-hmr-gate
v1.3.5 · 19 hours ago
Vite plugin that gates HMR updates behind an HTTP flush signal
No known vulnerabilities
ruvector-graph-transformer-wasm
v2.0.4 · 5 months ago
WASM bindings for ruvector-graph-transformer: proof-gated graph attention in the browser
No known vulnerabilities
@metaharness/flywheel
v0.1.8 · 4 hours ago
A verifiable self-improvement loop for agent harnesses. Freeze the model. Evolve the harness. Promote only what proves lift.
No known vulnerabilities
dpop
v2.1.1 · 1 year ago
DPoP (RFC9449) for JavaScript Runtimes
No known vulnerabilities
@datadog/datadog-ci-plugin-gate
v5.21.2 · 17 days ago
Datadog CI plugin for `gate` commands
No known vulnerabilities
protect-mcp
v0.11.1 · 24 days ago
Fail-closed Cedar policy gate + Ed25519 signed receipts for AI agent tool calls. Denies on any policy error, proves the gate is live with a startup self-test, and turns every decision into a local searchable record you own. The open gate behind Legate by
No known vulnerabilities
forge-agent-gate
v0.1.6 · 23 days ago
Self-serve developer on-ramp to Forge Orbital: a local, deterministic mandate gate for AI agents that take consequential actions. Every allow and block is sent to Forge for a verifiable proof trail.
No known vulnerabilities
@atlaskit/feature-gate-js-client
v6.0.1 · 18 days ago
Atlassians wrapper for the Statsig js-lite client.
No known vulnerabilities
@kontourai/flow
v4.0.0 · 1 hour ago
Process transparency for agentic work.
No known vulnerabilities
twzrd-x402-gate
v0.8.11 · 2 hours ago
Core: buyer-side x402 trust gate. Free TWZRD preflight (ReadinessCard) before signing USDC to any merchant, with optional $0.001 paid trust escalate on warn — blocking spend on bad intel, no human in the loop. Optional: createTwzrdSettleGuard for resource
No known vulnerabilities
@harmoniclabs/crypto
v0.3.0 · 1 year ago
collection of cryptographic functions that support every js runtime for ES5+
No known vulnerabilities
oci-goldengate
v2.138.0 · 5 days ago
OCI NodeJS client for Golden Gate Service
No known vulnerabilities
@series-inc/rundot-syncplay
v5.23.0 · 25 days ago
Offline-first deterministic multiplayer core for RUN.game
No known vulnerabilities
@wzrd_sol/plugin-trustgate
v0.3.4 · 8 days ago
Buyer-side x402 reputation gate: free TWZRD ReadinessCard preflight before signing, opt-in canSpendSafely, facilitator onBeforeSettle (daydreams), and Faremeter payerChooser pre-sign guard. Fail-closed by default; no keys or auto-spend.
No known vulnerabilities
@orchid-labs/pluxx
v0.1.38 · 8 days ago
Build AI agent plugins once. Prime-time on Claude Code, Cursor, Codex, and OpenCode, with beta generators for additional hosts.
No known vulnerabilities
sparda-mcp
v0.71.3 · 3 days ago
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
No known vulnerabilities
jsonld-signatures
v11.6.0 · 5 months ago
An implementation of the Linked Data Signatures specifications for JSON-LD in JavaScript.
No known vulnerabilities