End-to-end statistical proof loop. Use when the user asks to prove a statistical proposition, when a hypothesis is promoted to a theorem, or when the empirical trunk's reviewer demands a theorem-side gate. This SOP is suggestion-only (per ADR 0007); skip, loop, or interleave with empirical work as the situation calls for.
Receba novas skills de Pesquisa e Web toda segunda
1 email curto, só com as skills novas de Pesquisa e Web. 4 minutos de leitura, sem spam, cancela com 1 clique.
Você confirma o email no primeiro envio. Sem spam. Cancela com 1 clique.
Ler descrição completaRecolher descrição
Prove SOP
When the user asks for a statistical proof ("prove X", "show that Y holds", "give a rigorous derivation"), or when a proposition node sits without a verified proof:
Memory lookup: call mcp__memory__match_signatures with the proposition text and domain="proof". If similar past proof errors exist, read them first before drafting.
Capture the proposition: if not already in the graph, call mcp__prove__propose_proposition to register it. Pass parent_id to a r
[Description truncada. Veja o README completo no GitHub.]
