Open source · v0.1.0 for Apple Silicon

Answers you can trace to the page.

Ask a research question. DEIXIS searches the literature, reads the full texts and writes an answer in which every citation opens the exact passage it came from.

macOS 13 or later on Apple Silicon. Windows and Linux are not packaged yet.

This is the real app running a recorded research. Click anything: citations, sources, the evidence table, menus and settings. Starting a new search needs the download.

Bring your own model

Use the subscription you already pay for, or an API key, or a model on your own Mac. DEIXIS records which model wrote each step and never swaps it after a failure without telling you.

Claude CodeCodexGemini CLI GitHub CopilotAnthropic APIOpenAI API Gemini APIA model running on this Mac

Built on open scholarly data

OpenAlexSemantic Scholar CrossrefUnpaywall Europe PMCarXiv Your own PDFs

Your literature review, with receipts.

Every stage is stored, every count is kept apart, and every decision you make outranks the model.

What is checked, and by whom

DEIXIS says plainly what its code verifies and what it leaves to you. "Located" never means "verified".

For every answerChecked by codeLeft to you
The cited words exist in the passageAn exact anchor, in the version that was readYes—
Titles, DOIs, pages and authorsTaken from stored records, never from model proseYes—
Quotes behind an include decisionTwo model reads of the full text, quotes found by codeYes—
The passage supports the claimShown once per answer as "semantic support not checked"NoYou read it
Include or exclude a disputed paperYour choice outranks model and code, with your reason—You decide
The question has not been studiedNo search result proves noveltyNoYou judge

Questions

Is DEIXIS free?
The app is open source under AGPL-3.0. You pay only for the model you connect, through your own subscription or API key. Scholarly search through OpenAlex needs no payment.
Where does my data go?
The app and your library stay on your Mac. Searches go to the scholarly sources you connect, and model steps go to the model you connect, each with only the input that step needs. Keys are kept in the macOS Keychain.
Does it check that a source supports the claim?
No. Code checks that every cited span exists in a passage the model was given. Whether the passage supports the sentence is for you to read, and each answer says so.
What happens when a full text cannot be found?
The source stays at abstract depth and is labelled that way. An abstract cannot support details it does not state. Missing full texts keep downloading in the background, and a late full text can lead to one revision of the answer, with the earlier answer kept.
Can I add my own PDFs?
Yes. Attach up to five seed PDFs to guide a search, or ask a question about PDFs you attach. A PDF citation opens the document on the cited page.
Why does macOS block the first launch?
The app is not signed with an Apple Developer ID yet. Open it once, then choose Open Anyway in System Settings → Privacy & Security.

Start with one question.

Download DEIXIS, connect a model, and ask what you are working on.