prove

Name: prove
Author: parcadei

✓

parcadei/continuous-claude-v3GitHub: parcadei/continuous-claude-v3 Fonte: parcadei/continuous-claude-v3

Dimostrazione formale di teoremi con fasi di ricerca, test e verifica

parcadei·prove

156Installazioni·2Tendenza·@parcadei

Installazione

GitHub: parcadei/continuous-claude-v3

$npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove

Come installare prove

Installa rapidamente la skill AI prove nel tuo ambiente di sviluppo tramite riga di comando

Apri il terminale: Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.)
Esegui il comando di installazione: Copia ed esegui questo comando: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove
Verifica l'installazione: Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw

Fonte: parcadei/continuous-claude-v3.

SKILL.md

Visualizza raw

For mathematicians who want verified proofs without learning Lean syntax.

First run of /prove will download Mathlib (2GB) via lake build.

Dimostrazione formale di teoremi con fasi di ricerca, test e verifica Fonte: parcadei/continuous-claude-v3.

Fatti (pronti per citazione)

Campi e comandi stabili per citazioni AI/ricerca.

Comando di installazione: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove
Fonte: parcadei/continuous-claude-v3
Categoria: </>Sviluppo
Verificato: ✓
Prima apparizione: 2026-02-01
Aggiornato: 2026-03-10
URL: https://www.learn-skills.dev/it/skills/parcadei/continuous-claude-v3/prove

Browse more skills from parcadei/continuous-claude-v3

Risposte rapide

Che cos'è prove?

Dimostrazione formale di teoremi con fasi di ricerca, test e verifica Fonte: parcadei/continuous-claude-v3.

Come installo prove?

Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw