io.github.egoughnour/curate-ipsum

MCPcommunity
v2.5.1io.github.egoughnourUnknownAggiornato 7 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 →
7 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.egoughnour
LicenzaUnknown
Versione2.5.1
Fontemcp-registry
GitHubegoughnour/curate-ipsum
SBOMCycloneDX 1.6 ↓
Stato di fiducia
B
60/100Buono
✓Presente nell’indice di Forge+10/10
—Identità del publisher verificata+0/20
→ Publisher: esegui `forge publish` dal repo del pacchetto per rivendicarne la proprietà
—Firma di pubblicazione Ed25519+0/5
→ Inclusa automaticamente quando il publisher esegue `forge publish`
—Verifica del dominio+0/5
→ Publisher: ospita /.well-known/forge.json sulla homepage del pacchetto con { "publisher": "<github-login>" }
—npm Trusted Publishing (Sigstore)+0/5
→ Pubblica da GitHub Actions con --provenance perché l’attestation leghi questo pacchetto a questo repo
—Corrispondenza del maintainer npm+0/5
→ Si ottiene quando la tua identità è verificata qui sopra e quel login è maintainer npm di questo pacchetto
✓Analisi CVE · pulita+30/30
✓Analisi statica · pulita+20/20
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 sicurezza✓ Pulitov2.5.1 · 3 mesi faQuanto è efficace questa analisi?
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

Nessuna dichiarazione di strumenti trovata nel codice3mo ago

Forge ha letto 0 file sorgente da il tarball del pacchetto pubblicato e non ha trovato alcuna registrazione di strumenti MCP. L’estrazione si basa su schemi applicati al codice distribuito: un server che costruisce l’elenco degli strumenti a runtime, o che distribuisce solo codice impacchettato o minificato, non registra nulla di visibile qui. Va letto come «non rilevato», non come «non ne espone nessuno».

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…

Nessuna copertura delle dipendenze

Il resolver di Forge legge solo metadati npm, quindi questo pacchetto PyPI non ha un albero risolto. È una lacuna di copertura, non un certificato di buona salute.