prove-sop

Name: prove-sop
Rating: 5 (6 reviews)
Author: whenpoem

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.

6estrellas

Actualizado hace 20 días

Ver en GitHub ↗Licencia: MIT

Cómo agregar

/plugin marketplace add whenpoem/aiscientist

El comando exacto puede variar según el repositorio. Consulta el README en GitHub.

Para el autor de la skill

Pega en el README de tu repo

Muestra que tu skill está catalogada en Skillteca, genera backlink y tráfico rastreable.

[![Listada na Skillteca](https://www.skillteca.com.br/api/badge/prove-sop/svg)](https://www.skillteca.com.br/skills/prove-sop?utm_source=badge&utm_medium=readme&utm_campaign=badge)

#ai

Skills relacionadas

Ver todas de Pesquisa e Web →

dev-browser

60.3k

Automatiza interacciones del navegador con estado de página persistente. Úselo para navegar por sitios web, rellenar formularios, tomar capturas de pantalla, extraer datos web, probar aplicaciones o automatizar flujos de trabajo del navegador.

Pesquisa e Web#testpor code-yeongyu

agent-browser

55.6k

Browser automation CLI for AI agents. Use when the user needs to interact with websites, including navigating pages, filling forms, clicking buttons, taking screenshots, extracting data, testing web apps, or automating any browser task. Triggers include requests to "open a website", "fill out a form", "click a button", "take a screenshot", "scrape data from a page", "test this web app", "login to

Pesquisa e Web#ai#testpor shanraisshan

understand-chat

45.5k

Úselo cuando necesite hacer preguntas sobre una base de código o comprender código usando un grafo de conocimiento.

Pesquisa e Webpor Lum1104

understand-dashboard

45.5k

Lanza el panel web interactivo para visualizar el grafo de conocimiento de una base de código.

Pesquisa e Webpor Lum1104

Alerta por categoría

Recibe nuevas skills de Pesquisa e Web todos los lunes

Un email corto con solo las skills nuevas de Pesquisa e Web. 4 minutos de lectura, sin spam, te das de baja con un clic.

Confirmas tu email en el primer envío. Sin spam. Te das de baja con un clic.

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.]

CompartirX LinkedIn

Comentarios · Sin comentarios

Entra para comentar. Entrar

Aún no hay comentarios. Sé el primero.