proof-writer

Name: proof-writer
Rating: 5 (1 reviews)
Author: Unimposing-electroscope363

Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.

1estrellas

Actualizado hace 9 días

Ver en GitHub ↗Licencia: MIT

Cómo agregar

/plugin marketplace add Unimposing-electroscope363/Auto-claude-code-research-in-sleep

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/proof-writer-unimposing-electroscope363/svg)](https://www.skillteca.com.br/skills/proof-writer-unimposing-electroscope363?utm_source=badge&utm_medium=readme&utm_campaign=badge)

#ai #markdown

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.

Proof Write: Rigorous Theorem / Lemma Drafting

Write a mathematically honest proof package, not a polished fake proof.

Constants

DEFAULT_PROOF_DOC = PROOF_PACKAGE.md in project root
STATUS = PROVABLE AS STATED | PROVABLE AFTER WEAKENING / EXTRA ASSUMPTION | NOT CURRENTLY JUSTIFIED

Context: $ARGUMENTS

Goal

Produce exactly one of:

a complete proof of the original claim
a corrected claim plus a proof of the corrected claim
a blockage report explaining why the claim

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