
Product
Socket Now Protects the Chrome Extension Ecosystem
Socket is launching experimental protection for Chrome extensions, scanning for malware and risky permissions to prevent silent supply chain attacks.
A small tool for calling a running puan-server-db
http service.
pip install puan-client-db
import puan.logic.plog as pg
from puan_client_db import PropositionClient
# create a client
client = PropositionClient("http://localhost:8000") # we run a service on our local machine on port 8000
# create a puan model (pip install puan)
model = pg.All(
pg.Xor(*"xyz"),
pg.Imply(
pg.Any(*"AB"),
pg.All(*"ijk")
)
)
# store the model by commiting it into the service
# This will commit to a new model with default branch name (usually "main" but depends on backend config)
# (second parameter returned is an error)
sha_first, _ = client.commit(model)
# ... and we later made some changes
model = model.assume({"i": 1}) # this fixes `i` to always be set to 1/True
# then made another commit
client.commit(model)
# some time later we want to checkout the first commit
# (second parameter returned is an error)
model_first, _ = client.checkout(sha_first)
FAQs
SDK for calling running http service of puan-server-db
We found that puan-client-db 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 is launching experimental protection for Chrome extensions, scanning for malware and risky permissions to prevent silent supply chain attacks.
Product
Add secure dependency scanning to Claude Desktop with Socket MCP, a one-click extension that keeps your coding conversations safe from malicious packages.
Product
Socket now supports Scala and Kotlin, bringing AI-powered threat detection to JVM projects with easy manifest generation and fast, accurate scans.