npmjs.org "correctness" keyword
rust-intel-cc 0.8.0
Defense against LLM Rust failure modes for Claude Code and Codex: 59 categories of bugs that surv...10 versions - Latest release: about 15 hours ago - 552 downloads last month - 2 stars on GitHub - 1 maintainer
Top 1.6% on npmjs.org
32 versions - Latest release: over 6 years ago - 8 dependent packages - 5,753 dependent repositories - 5.28 thousand downloads last month - 2,378 stars on GitHub - 5 maintainers
bootlint 1.1.0 💰
HTML linter for Bootstrap projects32 versions - Latest release: over 6 years ago - 8 dependent packages - 5,753 dependent repositories - 5.28 thousand downloads last month - 2,378 stars on GitHub - 5 maintainers
softwareobservatory 0.3.1
Query the Software Observatory catalog of epistemic sensors for software correctness. Built for h...6 versions - Latest release: about 1 month ago - 914 downloads last month - 0 stars on GitHub - 1 maintainer
defuss-transval 1.3.1 💰
A fast, functional, reliable and small state (e.g. form) validation library that aims for correct...10 versions - Latest release: 4 months ago - 94 downloads last month - 6 stars on GitHub - 1 maintainer
etnostrum 1.5.0
Helps you create value objects and refined types for safer software9 versions - Latest release: over 2 years ago - 10 downloads last month - 1 maintainer
forespec 0.2.0
Catches what your AI coder didn't know to ask — the atomic stock hold, the tenant isolation, the ...5 versions - Latest release: 14 days ago - 45 downloads last month - 0 stars on GitHub - 1 maintainer
silent-defects 0.1.0
Check your dependencies against defects that were measured and reproduced, not reported. bytes.pa...1 version - Latest release: 12 days ago - 0 stars on GitHub - 1 maintainer
validalli 1.0.1
A fast, functional, reliable and tiny validation library for forms and runtime datatype checks2 versions - Latest release: over 3 years ago - 19 downloads last month - 2 stars on GitHub - 1 maintainer
@magnum-opus/magnum-opus 0.13.1
Software reality engine with executable worlds, domain reality packs, evidence-backed prediction,...6 versions - Latest release: 19 days ago - 268 downloads last month - 1 maintainer
@projectwallace/stylelint-plugin 0.7.0
A stylelint plugin that checks the complexity, design tokens, maintainability and correctness of ...42 versions - Latest release: about 2 months ago - 4.76 thousand downloads last month - 3 stars on GitHub - 1 maintainer
bootlint-server 2.0.0 deprecated 💰
Bootlint Express app2 versions - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 27 downloads last month - 7 stars on GitHub - 3 maintainers
sourceverity 1.0.5
Repository-aware frontend correctness and quality auditor6 versions - Latest release: about 1 month ago - 572 downloads last month - 1 maintainer
bootlint-customization 1.0.4
HTML linter for Bootstrap projects3 versions - Latest release: over 8 years ago - 2 dependent packages - 1 dependent repositories - 17 downloads last month - 5 stars on GitHub - 1 maintainer
@massiangelone/rag-eval 0.1.0-alpha.0
Evaluate RAG pipelines: retrieval precision, faithfulness, answer correctness. Multi-provider jud...1 version - Latest release: 5 months ago - 153 downloads last month - 1 maintainer
@break-point/specjs 0.0.2
Design by contract javascript library1 version - Latest release: over 6 years ago - 1 dependent package - 9 downloads last month - 3 stars on GitHub - 1 maintainer
@alfonsofilho/specjs 0.0.2
Design by contract javascript library2 versions - Latest release: over 6 years ago - 2 dependent packages - 19 downloads last month - 3 stars on GitHub - 1 maintainer
diff-conformance 0.3.0
A correctness harness for JavaScript structural diff libraries. Detection (a real change must be ...4 versions - Latest release: about 2 months ago - 420 downloads last month - 0 stars on GitHub - 1 maintainer
@ganbarodigital/ts-lib-value-objects 2.1.0
Helps you create value objects and refined types for safer software8 versions - Latest release: over 6 years ago - 8 dependent packages - 4 dependent repositories - 104 downloads last month - 3 stars on GitHub - 1 maintainer
lean-agentic 0.3.2 💰
High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed2...10 versions - Latest release: 11 months ago - 257 downloads last month - 58 stars on GitHub - 1 maintainer
@withboundary/contract 1.5.1
Make LLM outputs correct, not just valid. Schema + rules + auto-repair.9 versions - Latest release: 5 months ago - 150 downloads last month - 1 maintainer
milhouse-cli 1.0.0
Correctness-first AI coding orchestrator - Evidence-based diagnostics, WBS planning, and iterativ...1 version - Latest release: 8 months ago - 17 downloads last month - 1 maintainer
@massiangelone/angel1-rag-eval 1.0.0
Evaluate RAG pipelines: retrieval precision, faithfulness, answer correctness. Multi-provider jud...1 version - Latest release: 5 months ago - 115 downloads last month - 1 maintainer
@fairfox/web-ext-verify 0.1.0
Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specific...1 version - Latest release: 12 months ago - 27 downloads last month - 1 maintainer
silentdrop 0.1.3
Find silent data-loss bugs in your JS database's query layer — the LIKE / case-fold / comparison ...4 versions - Latest release: 4 months ago - 172 downloads last month - 1 maintainer
silentdrop-llm 0.1.2
Runtime guard against silent failures in LLM responses — missing required fields, enum drift, hal...3 versions - Latest release: 4 months ago - 0 stars on GitHub - 1 maintainer
@withboundary/sdk 0.5.2
Observability SDK for Boundary — batched trace transport for LLM contract runs.8 versions - Latest release: 5 months ago - 371 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
typescript
7
llm
6
testing
6
anthropic
5
openai
5
cli
5
lint
4
validation
4
claude
4
validator
3
validity
3
code-review
3
ci
3
bootstrap
3
checker
3
claude-code
3
performance
3
linter
3
ai
3
contract
3
html
3
retrieval
2
evaluation
2
eval
2
rag
2
conformance
2
agents
2
boundary
2
defensive programming
2
claude-code-plugin
2
security
2
ensure
2
require
2
test
2
invariant
2
postcondition
2
precondition
2
offensive
2
verification
2
formal-verification
2
static-analysis
2
formal-methods
2
harness
2
model-context-protocol
2
mcp-server
2
mcp
2
observability
2
gpt
2
faithfulness
2
form
2
nodejs
2
extensibility
2
audit
2
branded types
2
refined types
2
functional
2
type refinement
2
async
2
flexibility
2
tiny
2
browser
2
specificity
1
maintainability
1
linting
1
design-tokens
1
custom-properties
1
css-quality
1
stylelint
1
stylelint-plugin
1
vendor-prefix
1
wallace
1
diff
1
structural-diff
1
object-diff
1
deep-diff
1
json-patch
1
rfc6902
1
message-passing
1
quia
1
ai-learning
1
ed25519
1
digital-signatures
1
cryptographic-attestation
1
proof-signing
1
agent-identity
1
byzantine-consensus
1
tamper-detection
1
chain-of-custody
1
non-repudiation
1
distributed-trust
1
agentic-ai
1
zero-dependency
1
serialize-error
1
flat
1
bytes
1
bugs
1
defects
1
browserhacks
1
complexity
1
css
1