Free Research and Downloads · Packages
Do the research yourself — with a checker built in.Generation, wired to verification.Generator + verifier pairs, vendored.Vendorable generator+gate bundles.
Each package is a free download that helps you research something big — court records, science papers, markets — and checks its own work as it goes, so nothing reaches you unlabeled. Download a package and do the work yourself. Each pairs a generator with an independent verifier, so nothing reaches you as knowledge until it has passed the gate — not a filter that promises clean output, but a structure where nothing exits unlabeled. One family produces; independent families with uncorrelated failure modes check; the output carries the verdict of that check, always — including when the verdict is failure. The guarantee is on the labeling, which we can hold, not on the generation, which no one honestly can. Structural guarantee: labeled egress only. Weak drafts exit tagged UNSUPPORTED, not suppressed. Same gate core in every bundle; subject layer varies.
OpenDownload links are being wired; until they're live, each button below emails us and we send the package back by hand — same files, slower postman.
How a package works
A generator drafts.
One model family produces the candidate — a claim, an extraction, a proof sketch, a lead.
Independent families check.
Separate families, with uncorrelated failure modes, attack the draft against sources and internal logic. Correlated checkers don't add up, so the diversity is the architecture, not a slogan.
Output leaves labeled.
What survives is tagged and signed. What fails is tagged Unsupported. Nothing is handed over unmarked.
The library
Every package opens the same way: what gets verified, and how, before what gets generated. The gate is the headline because the gate is the product.
-
Investigate the Epstein files
Search the public records — with every claim resolved to a real docket, filing, flight log, or registration before you see it.
Verifies: every claim resolved to a primary record; citations that don't resolve are dropped, not displayed. Then generates: leads, connections, and timelines — each carrying the record it rests on. Sources: CourtListener · ICIJ · FEC · FAA registry · FlightAware.
-
Research algebraic geometry
A math research assistant that won't assert a step it can't defend.
Verifies: each step checked for validity before it advances; formalizable claims routed to a proof check, the rest to adversarial review. Then generates: proof sketches, counterexample searches, and literature maps — every result tagged Proved, Verified, or Open. Sources: arXiv · proof-assistant bridge · multi-family review.
-
Trace corporate & SEC enforcement
Follow companies and insiders through the official filings — nothing enters the map unconfirmed.
Verifies: every filing and trade confirmed against the primary source; insider transactions matched to Form 4 before inclusion. Then generates: enforcement timelines and ownership maps, each claim linked to its filing. Sources: SEC EDGAR · Form 4 · FINRA BrokerCheck.
-
Review a scientific literature
A literature review where the contradictions and gaps are flagged instead of smoothed over.
Verifies: every citation checked to exist and to say what it's cited as saying; effect sizes matched to source before synthesis. Then generates: a synthesis with the contradicted, the unsupported, and the stale each flagged in place. Sources: PubMed · ClinicalTrials.gov · multi-family review.
-
Follow dark money
Trace political money through the official registries, connection by confirmed connection.
Verifies: every committee, donor, and filing confirmed against the source registry before a connection is drawn. Then generates: funding-flow maps across committees, nonprofits, and foreign agents — sourced claim by claim. Sources: FEC · IRS EO · FARA · Senate lobbying.
-
Map a market or a field
A landscape where every cell shows its evidence — and the gaps are marked as gaps.
Verifies: every figure, quote, and competitor claim checked against its cited source before it enters the map. Then generates: a landscape with each cell's evidence attached. Sources: web sources · filings · multi-family review.
The same gate ships in every package
- The generator
- Subject-specific: the tools, prompts, and source connectors for that domain.
- The verifier
- The multi-family gate — independent checkers with uncorrelated failure modes, the same core across every package.
- The tag schema
- Proved · Verified · Open · Corrected · Unsupported. Every output carries one; untagged output is a bug, not a result.
- The audit trail
- For every claim: what was checked, against what, and what the verdict was — so a third party can re-run the judgment, not just read the conclusion.
Anyone can generate now. What the packages add is the half that's scarce: the gate that runs first, on everything, and hands you a verdict instead of a guess.