DSAIL (Neurosymbolic Engine)
Jaxon AI · Cybersecurity & IT
Certification per AWS Marketplace.
Evidence tier Source Confirmed · 4 captures on record
What the publisher says
As described on AWS Marketplace.
**Neurosymbolic AI Verification Platform**
- Jaxon DSAIL transforms natural language policies into structured, enforceable logic for validating LLM outputs.
- Instead of trusting model output, DSAIL validates it against structured rules derived from your internal doctrine and regulatory requirements.
- Supports multi-step validation workflows, enabling complex chains of rule evaluation that catch violations, ensure compliance, and produce fully-auditable reasoning traces for every output.
Show the rest of the publisher’s description (14 more lines)
**Built for Regulated Industries**
- Designed for mission-critical deployments in defense, financial services, healthcare, and other regulated industries.
- Addresses the core risks of enterprise AI adoption: hallucinations, policy drift, and opaque decision-making.
- Every evaluation is traceable and explainable, providing the transparency required for regulatory compliance and audit readiness.
**Predictable Usage-Based Pricing**
- Usage is measured in Jaxon Verified Units (JVUs).
- One JVU represents one rule applied to one text unit of up to 1,000 characters.
- Gives organizations precise, predictable cost visibility tied directly to verification volume.
**Flexible, Production-Ready Deployment**
- Model-agnostic architecture supporting closed-source, open-source, and self-hosted LLMs.
- This AWS Marketplace AMI is pre-configured for OpenAI models and requires an OpenAI API key at launch.
- Support for additional model providers can be configured post-deployment.
- Deploys as a single EC2 instance with all services pre-configured, including mTLS encryption for all internal communication.
- Operational within minutes of launching the CloudFormation stack, with no vendor lock-in or mandatory data migration.
Highlights
Highlighted by the publisher on AWS Marketplace.
Policy to Logic: Verification Transforms natural language policies into enforceable rules that validate every LLM output before delivery.
Full Auditability: Every evaluation produces a traceable reasoning chain for regulatory compliance and audit readiness.
Deploy in Minutes: Pre-configured AMI with mTLS encryption. Model-agnostic with OpenAI pre-configured.
Agent build and provenance
See the full provenance
The layer-by-layer build, the evidence behind each claim, the risk basis and the cross-marketplace links are open to any account. Some rows are disclosed, some the source leaves Unknown; a free account shows you which.
Plans and pricing as listed
1 listed- Units
Refund terms
As stated by the publisher on AWS Marketplace.
Jaxon AI offers a 48-hour refund on software usage charges for the DSAIL Platform. To request a refund, email support@jaxon.ai with your AWS Account ID and the affected usage period. After 48 hours, refunds are evaluated case-by-case for platform defects or metering errors that resulted in incorrect JVU charges. AWS infrastructure costs (EC2, EBS, KMS, data transfer) are billed by AWS and not covered. For metering errors, AWS may also issue refunds directly per AWS Marketplace policy.
Sources
Linked repositories
Unknown means this listing does not publish a repository. It is not a statement that the code is closed, and a linked repository is not a claim that the publisher wrote it: the registry computes that relationship privately and does not publish it.
Evidence risk is the share of the build you cannot see before you deploy, not a security rating. Sign in to see the layer-by-layer basis for this band.