Proof-carrying products for decisions that have to be right. Each product lists what it is, what it does, and its market benefit, with an honest maturity label — because coverage is nascent and the differentiators are real, and we say both.
NuSy Drug-Interaction Database — the DDI database that shows its work
Open source (MIT) · Live: opendruggraph.com · Congruentsys/opendruggraph — 513 FDA-label-cited edges, coverage growing
What it is. An open, FDA-label-derived drug-interaction database that carries a proof for every answer — and abstains out loud when it doesn't know, instead of guessing “no interaction.”
What it does. Checks drug-drug interactions and — uniquely — the interactions a flat pairwise table structurally can't hold: mechanism chains (drug → enzyme/transporter → drug), 3+-drug polypharmacy (additive QT/serotonergic/bleeding load, shared-enzyme hubs, cumulative organ burden), plus drug-disease contraindications, drug-indication, and duplicate-therapy screening. Every asserted edge cites its exact FDA Structured Product Label sentence; every derived interaction shows its mechanism path as the proof. Delivers via FHIR / CDS-Hooks.
Market benefit. The incumbents (First Databank, Micromedex, Multum) tell a clinician a pair is “major” and won't say why — and a 2025 review found the popular checkers agree on only 16–24% of flagged interactions. NuSy shows the FDA-label evidence, represents the multi-drug interactions the incumbents exclude, and is the structural answer to alert fatigue — MIT-licensed and free versus $10k–100k+/yr proprietary feeds. Honest scope: we win on transparency, representation, and safety model, not on catalog breadth yet — coverage is growing and labeled as such.
The Never-Launder Reasoning Engine — structural zero-hallucination
Pilot-ready · the platform under everything above · Congruentsys/nusy-reasoners (MIT)
What it is. A neurosymbolic reasoning engine where a language model proposes and a symbolic gate disposes: every answer is either Proven (with a full provenance trace), Heuristic (clearly labeled), or a loud abstention — never a guess dressed as a fact.
What it does. Turns unproven claims into a class of error that is impossible by construction, attaching a proof object to each answer. Verified on internal batteries at false_proofs = 0 across 100K synthetic patients and millions of derivations.
Market benefit. For any regulated-domain decision support — clinical, payer, legal — the buyer gets auditable correctness they can inspect, satisfying “transparent basis, clinician-reviewable” requirements by design. Almost no AI vendor can produce a claim-to-evidence chain like this; it is the core differentiator the rest of the portfolio is built on.
Provable Guideline CDS — “prove it on YOUR guideline”
Pilot-ready · Congruentsys/nusy-reasoners (nusy-cpg, nusy-plandef)
What it is. Bring a computable clinical guideline (a FHIR PlanDefinition); NuSy reasons over it provably — contraindications fire, and missing data makes it abstain out loud rather than guess.
What it does. One generic engine applies guidelines across publishers with zero per-guideline engine changes — demonstrated on NCCN (four cancers), JNC-8 hypertension, and WHO antenatal care, with every recommendation covered by a passing knowledge test.
Market benefit. Guideline-grounded decision support that is defensible and auditable, adaptable to a partner's own guideline without bespoke engineering — the fastest path from “trust our model” to “here is the proof over your content.”
nusy-reasoners — the open-source neurosymbolic reasoners
Available (open source, MIT) · Congruentsys/nusy-reasoners
What it is. The free, MIT-licensed reasoning primitives underneath the products above.
What it does. Provides the proof-carrying deductive / defeasible / causal reasoners and the never-launder gate as adoptable open-source components.
Market benefit. A builder can adopt auditable, proof-carrying reasoning without a proprietary license — free to inspect, run, and extend; the whole thing regenerates from cargo test.
On the roadmap (in development — not yet available)
Listed for transparency; clearly marked as not shipping today, per our honesty brand.
- Terminology Service — a proof-carrying clinical terminology/value-set resolver (the substrate every clinical product silently trusts — but with proofs on maps and membership, which no incumbent carries). In development; the stated prerequisite for MTM CDS.
- MTM CDS Service — medication-therapy-management decision support with proof-carrying recommendation cards (CMS-mandated MTM; adherence measures are triple-weighted in STARS). In development; depends on the Terminology Service.
Coverage/parity claims are gated by our compete-ready discipline — no breadth-parity claim ships until the coverage work lands with on-disk evidence.