Сомневаюсь, пока что-то остается неопределенным.

s Проект братьев и сестер: Спроситель — сегодня ИИ отвечает, этот спрашивает.

Задающий учится задавать самые острые вопросы, чтобы понять предмет; Декарт учится сомневаться до тех пор, пока не будет определено, что останется. Две половины одной Идея: правильный вопрос побеждает уверенный ответ. https://github.com/pranjalbhatia710/the-asker

. Земляная страница →  · [1] для мимолетной мысли от самого человека.

Сервер MCP, который в кратчайшие сроки сомневается в каждом решении в плане, сомневается в своем собственном. сомнения и ответы на них — обоснование каждого ответа в реальных доказательствах — повторение Пока план не прекратит порождать новые несущие сомнения. Затем он возвращает назад Уточненный план плюс несколько решений, которые только вы можете принять.

Дело в том, что до работы не доходит ни одно непроверенное предположение, поэтому галлюцинация не имеет никакого значения. Комната, чтобы спрятаться.

##петля

В скором времени Декарт испытывает рекурсивное картезианское сомнение:

1.Проект плана/решений. 2. ** Сомневаюсь в каждом несущем решении (один из 11 сомневающихся операторов за сомнение). 3. ** Сомневайтесь в сомнениях ** — обрезайте тривиальные и сфабрикованные. 4.

Descartes

doubt, until what remains is certain.

🔭 Sibling project: The Asker — today’s AI answers, this one asks.

The Asker learns to ask the sharpest questions to understand a subject; Descartes learns to doubt until what remains is certain. Two halves of one idea: the right question beats the confident answer. → https://github.com/pranjalbhatia710/the-asker

🪶 Landing page →  ·  descartes --epigraph for a passing thought from the man himself.

An MCP server that, on a prompt, doubts every decision in a plan, doubts its own doubts, and answers them — grounding every answer in real evidence — iterating until the plan stops producing new load-bearing doubts. Then it hands back a refined plan plus the few decisions only you can make.

The point: no unexamined assumption reaches the work, so hallucination has no room to hide.

---

The loop

On a prompt, Descartes runs recursive Cartesian doubt:

1. Draft the plan / decisions.
2. Doubt every load-bearing decision (one of 11 doubt operators per doubt).
3. Doubt the doubts — prune the trivial and manufactured ones.
4. Answer each surviving doubt only from real evidence:
   • code doubts → resolved from the context you pass in,
   • world doubts → resolved via Exa (cited, confidence-scored),
   • ungroundable → marked NEEDS_HUMAN.
5. Doubt the answer — recurse: each settled answer is itself doubted (the question behind the question), spawning the next layer of doubts, bounded by depth and a global doubt budget.
6. Bank it — every grounded finding accumulates into a knowledge base that feeds the next round of doubting and the final plan.
7. Revise the plan with what survived, and repeat from step 2.

The output is therefore a doubt tree (each entry carries depth + parent), not a flat list, plus a knowledge_base of accumulated facts.

Stopping rule: the loop stops the moment a full pass produces no new load-bearing doubt — that is convergence. It might be pass 3 or pass 9. 20 is a hard ceiling, never a target, and recursion is bounded by DESCARTES_MAX_DEPTH (default 3) and DESCARTES_DOUBT_BUDGET (default 64). It never manufactures doubt to keep going.

Grounding rule: every answer resolves against real evidence or becomes a question for you. Low-confidence Exa is never asserted. 20 rounds of self-answered, ungrounded doubt would be 20 rounds of confident hallucination — so that is forbidden by construction.

---

Two engines (auto-selected)

| If you set… | Descartes runs… |