76 packages matching “soundness”
concertino
v0.1.5 · 28 days ago
A harness-agnostic, evidence-gated agent orchestra for autonomous ticket delivery (orchestrator + executor + evaluator + cold skeptic). Renders into Claude Code and OpenAI Codex from one neutral core.
No known vulnerabilities
costwright-mcp
v0.1.1 · 1 month ago
MCP server: static worst-case token-budget analysis for LLM-agent workflows (LangGraph/CrewAI/OpenAI-Agents) + signed budget certificates.
No known vulnerabilities
@lib-q/dkg
v0.0.11 · 6 days ago
PROVISIONAL lattice dealerless DKG (binding BDLOP VSS) for Node.js
No known vulnerabilities
action-typed
v2.0.0 · 7 years ago
Better type *safety*, with less actual *typing* for Redux actions
No known vulnerabilities
@buildtovalue/simulation
v1.1.0-next.0 · 27 days ago
Headless BPMN token-simulation engine for bpmn-react: XOR/AND/event-based semantics, boundary events, approximate OR, structural path coverage and replayable scenarios. Consumes only @buildtovalue/core. Zero runtime dependencies.
No known vulnerabilities
quaid-scanner
v0.1.4 · 17 days ago
Agent-first OSS repository health scanner based on CHAOSS metrics, The Open Source Way 2.0, and Inclusive Naming Initiative
No known vulnerabilities
truth-compiler
v0.5.8 · 7 years ago
Verify and analyze code and data in the Truth format
No known vulnerabilities
@syw-apps/wairon
v5.0.1-dev.2 · 28 days ago
SYW Waffle AIron — CLI for managing AI coding agent topology across projects
No known vulnerabilities
@botiroff/adya
v0.2.0 · 1 day ago
Transaction isolation, implemented and convicted. An MVCC engine with four isolation levels including Cahill's SSI, and a dependency-graph checker that finds G0, G1a, G1b, G1c, G-single and G2-item in observed histories.
No known vulnerabilities
@filepad/guardian
v0.1.1 · 3 months ago
Filepad Guardian — local evidence reporter for Active Contracts. Runs checks, captures provenance, reports evidence to Filepad.
No known vulnerabilities
graphql-assert-transformer
v1.0.2 · 5 years ago
A GraphQL transform that provide assertions of fields
No known vulnerabilities
@mavenomics/coreutils
v0.1.2 · 6 years ago
Core utilities and services for MavenWorks
No known vulnerabilities
@open-formulieren/infernologic
v0.2.0 · 2 years ago
InferNoLogic is the TypeScript library designed to cool down the hellfire of type mismatches in JsonLogic. Navigate through your complex logic rules with the confidence that your types align.
No known vulnerabilities
@l8zk/sdk
v1.3.1 · 8 months ago
Privacy-preserving verifiable credentials using zero-knowledge proofs. Production implementation of the OpenAC protocol.
No known vulnerabilities
@lintora/core
v1.4.0 · 2 months ago
Lintora - Code Governance Engine
No known vulnerabilities
@iflow-mcp/bmorphism-anti-bullshit-mcp-server
v0.1.0 · 6 months ago
MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks (empirical, responsible, harmonic, and pluralistic)
No known vulnerabilities
safe-owner-manager
v1.0.4 · 1 year ago
A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.
No known vulnerabilities
@iflow-mcp/anti-bullshit-mcp-server
v0.1.0 · 9 months ago
MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks (empirical, responsible, harmonic, and pluralistic)
No known vulnerabilities
@besser/research-paper-review
v1.0.0 · 4 months ago
Review and analyze academic research papers — consistency checks, structured critique, venue-specific feedback, pre-submission review
No known vulnerabilities
@michael-f-bryan/gcode-wasm
v0.6.1 · 6 years ago
WebAssembly bindings for use in the @michael-f-bryan/gcode package. Not intended for public use.
No known vulnerabilities