io.github.egoughnour/curate-ipsum

MCPcommunity
v2.5.1io.github.egoughnourUnknownAggiornato 6 mesi faGitHub

Code synthesis through belief revision, mutation testing, and verification

A graph-spectral MCP server for verified code synthesis through belief revision Curate-Ipsum bridges the gap between LLM-generated code (fast, plausible, unverified) and formally verified patches (slow, correct, trustworthy). It treats mutation testing as one component of a larger system for maintaining robust, self-healing codebase metadata that supports reachability analysis, symbolic…

Funziona in
ClaudeCursorCopilotGemini

Dedotto dai trasporti dichiarati da questo annuncio (stdio). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.

Indicizzato automaticamente da fonti pubbliche. Non ancora verificato dal suo sviluppatore su Forge.Rivendica questo annuncio →
6 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.egoughnour
LicenzaUnknown
Versione2.5.1
Fontemcp-registry
GitHubegoughnour/curate-ipsum
SBOMCycloneDX 1.6 ↓
Stato di fiducia
F
10/100Non affidabile
✓Presente nell’indice di Forge+10/10
—Identità del publisher verificata+0/30
→ Publisher: esegui `forge publish` dal repo per rivendicarne la proprietà
—Verifica del dominio+0/10
→ Al momento non disponibile per questo tipo di annuncio — oggi il controllo del dominio viene eseguito solo per i pacchetti su npm, quindi questa riga non può ancora essere ottenuta qui, indipendentemente da cosa sia ospitato sul dominio.
—Analisi prompt injection · non eseguita+0/30
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
—Analisi offuscamento / esfiltrazione · non eseguita+0/20
→ Non ancora analizzato — l’archivio del repository viene analizzato alla prossima esecuzione del cron
Incollalo in Claude Code, Cursor o qualsiasi assistente di IA per colmare tutte le lacune
StatoIndicizzato dalla community
PublisherNon verificato
FirmaNon firmato
Dominio—
Provenienza—
DipendenzeNon verificate
Superficie di strumenti—
Analisi di sicurezzaNon eseguita
ValutazioniNessuna
Indicizzato13 giu 2026

La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.

Strumenti

Non ancora analizzato

Forge non ha alcuna analisi registrata per questa voce, quindi non ha alcuna osservazione della sua superficie di strumenti. È assenza di prove, non prova che non esponga alcuno strumento.

Descrizione

A graph-spectral MCP server for verified code synthesis through belief revision Curate-Ipsum bridges the gap between LLM-generated code (fast, plausible, unverified) and formally verified patches (slow, correct, trustworthy). It treats mutation testing as one component of a larger system for maintaining robust, self-healing codebase metadata that supports reachability analysis, symbolic execution, and automated test generation. Or with Docker (embedding model pre-loaded, no Python needed):…

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…