io.github.daedalus/mcp-z3-prover

MCPcommunity
v0.1.0io.github.daedalusUnknownAggiornato 6 mesi faGitHub

MCP server exposing Z3 solver API

MCP server exposing Z3 solver API Or from command line: The server exposes the following tools: createboolvar - Create a Boolean variable createintvar - Create an Integer variable createrealvar - Create a Real variable createintconstant - Create an integer constant createrealconstant - Create a real constant addconstraint - Add a constraint to the solver solve - Solve the current problem…

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 →
1Stelle su GitHub
6 mesi faUltimo aggiornamento
Pacchetto
Autoreio.github.daedalus
LicenzaUnknown
Versione0.1.0
Fontemcp-registry
GitHubdaedalus/mcp-z3-prover
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✓ Pulitov0.1.0 · 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

MCP server exposing Z3 solver API Or from command line: The server exposes the following tools: createboolvar - Create a Boolean variable createintvar - Create an Integer variable createrealvar - Create a Real variable createintconstant - Create an integer constant createrealconstant - Create a real constant addconstraint - Add a constraint to the solver solve - Solve the current problem getmodelvalue - Get value of a variable from the model optimize - Solve with optimization objective…

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.