SRD Engine free trial - no credit card

Try the SRD Engine
free, no credit card.

Start a free trial of the verifier-gated SRD Engine API - the universal SRD intelligence engine. Bring your own input, run typed and capped jobs, and get back proof objects and verifier-gated results. Every output is an exact accept when the stated relation holds, or a precise diagnostic when it does not. No credit card, no commitment.

sign up -> typed/capped job -> SRD reasoning -> proof object + verifier-gated result

FREE TRIAL - VERIFIER-GATED OUTPUTS - NO CREDIT CARD

Free-tier jobs are typed and capped. Cybersecurity verification and research surfaces are verifier-gated and authorized-scope only. Post-LLM / AGI-class intelligence is our research direction and is labelled research, not delivered.

What the free trial includes

Real SRD Engine jobs, on the free tier.

The trial runs against the same universal SRD intelligence engine as production - not a sandbox imitation. Jobs are typed and capped so you can evaluate the engine safely, and every result ships with a proof object and a verifier-gated outcome.

01

Typed, capped jobs

Submit free-form reasoning jobs or domain jobs against measured verify.* domains. Each request is strongly typed and the free tier applies size, rate and concurrency caps so trials stay predictable.

02

Proof objects

Every job returns a proof object - SHA-256 and timestamp assets - so a result can be checked and dated by anyone, later. The proof object travels with the result, not as a separate claim.

03

Verifier-gated results

SRD reasons over your input and the verifier gates the output: an exact accept when the stated relation holds, a precise diagnostic when it does not - never a fake pass, never a guess.

What you get

Everything you need to evaluate the engine

The free trial gives you working API access to the verifier-gated SRD Engine. Here is exactly what is in the tier and how it is scoped.

api.key

A trial API key

A scoped key for the SRD Engine REST API and CLI. No credit card required to create it; the tier is metered with free-tier caps.

jobs.typed

Typed reasoning jobs

Free-form reasoning jobs and domain jobs against the measured verify.* domains. Each job has a typed request and a typed, verifier-gated response.

jobs.capped

Predictable caps

Free-tier size, rate and concurrency caps keep trials safe and predictable. The caps are published so you know the limits before you build.

proof.object

Proof object per job

Each result carries a proof object - SHA-256 and timestamp assets - so the outcome can be independently checked and dated later by anyone.

verifier.result

Accept or diagnostic

The verifier returns an exact accept when the stated relation holds, or a precise diagnostic that says where it failed. Never a fake pass.

scope.gated

Authorized-scope surfaces

Cybersecurity verification and research surfaces are verifier-gated and authorized-scope only. The trial exposes the measured domains; gated surfaces require authorization.

From signup to first verified result

Start in minutes, verify your first job.

No credit card, no sales call. Create an account, get a scoped trial key, and submit your first typed job to the universal SRD intelligence engine. Every result comes back with a proof object and a verifier-gated outcome.

1. Sign up, no card

Create an account with just an email. No credit card and no commitment to start. You land on a scoped trial key for the SRD Engine API and CLI.

2. Submit a typed, capped job

Bring your own input - a free-form problem or a domain object - and submit a typed job within the free-tier caps. The engine reasons over exactly what you provide.

3. SRD reasoning runs

The engine reasons over the input using SRD and evaluates it against the stated relation. The check is deterministic and exact - no sampling, no approximation.

4. Get a proof + verifier result

You receive a proof object and a verifier-gated result: an exact accept or a precise diagnostic. Check the proof object yourself, then keep building.

YOU BRING

input -> typed, capped job

SRD REASONING

TRIAL RETURNS

proof object + accept/diagnostic

FAQ

Free trial questions

Do I need a credit card to start?
No. The SRD Engine free trial requires only an email to create an account. There is no credit card and no commitment to begin. The free tier is metered with published caps so you can evaluate the verifier-gated engine without surprises.
What can I run on the free tier?
You can submit typed, capped jobs to the universal SRD intelligence engine: free-form reasoning jobs and domain jobs against the measured verify.* domains. Every job returns a proof object and a verifier-gated result - an exact accept or a precise diagnostic.
What is a proof object?
A proof object is the SHA-256 and timestamp assets returned with each job, so a result can be checked and dated by anyone, later. It travels with the verifier-gated outcome rather than being a separate, unverifiable claim.
What are the caps on the trial?
Free-tier jobs are typed and capped on size, rate and concurrency so trials stay predictable. The caps are published so you know the limits before you build. When you need more, you can move to a paid tier - see pricing.
How are the security domains handled?
verify.rsa and verify.aes return exact gated checks on supplied factors and keys. Cybersecurity verification and research surfaces are verifier-gated and authorized-scope only - the trial exposes the measured domains, and gated surfaces require authorization.
Is the SRD Engine the same as Pedulli compression?
No. Pedulli's lossless compression and orchestration is a separate Pedulli product. This trial is for the SRD Engine - the universal SRD intelligence engine with verifier-gated outputs, measured verify.* domains and AI acceleration surfaces.

Start the free trial. Verify your first job.

No credit card. Create an account, get a scoped trial key, and run typed, capped jobs against the universal SRD intelligence engine - each with a proof object and a verifier-gated result.

No credit card - typed, capped jobs - proof objects - verifier-gated outputs