io.github.daedalus/mcp-z3-prover

MCPCommunity
v0.1.0io.github.daedalusUnknownAktualisiert vor 4 Mon.GitHub

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…

Läuft in
ClaudeCursorCopilotGemini

Abgeleitet aus den Transporten, die dieser Eintrag deklariert (stdio). Ein Client, der hier nicht steht, ist damit nicht ausgeschlossen — Forge kann ihn nur nicht bestätigen.

Automatisch aus öffentlichen Quellen indexiert. Vom Entwickler auf Forge noch nicht verifiziert.Diesen Eintrag beanspruchen →
vor 4 Mon.Letzte Aktualisierung
Paket
Autorio.github.daedalus
LizenzUnknown
Version0.1.0
Quellemcp-registry
GitHubdaedalus/mcp-z3-prover
SBOMCycloneDX 1.6 ↓
Trust-Status
F
10/100Nicht vertrauenswürdig
✓Im Forge-Index gelistet+10/10
—Publisher-Identität verifiziert+0/30
→ Publisher: führe `forge publish` im Repo aus, um die Inhaberschaft zu beanspruchen
—Domain-Verifizierung+0/10
→ Für diesen Eintragstyp derzeit nicht verfügbar — die Domain-Prüfung läuft heute nur für npm-gestützte Pakete, diese Zeile lässt sich hier also noch nicht erreichen, unabhängig davon, was auf der Domain liegt.
—Prompt-Injection-Scan · nicht ausgeführt+0/30
→ Noch nicht gescannt — das Repository-Archiv wird beim nächsten Cron-Lauf gescannt
—Obfuskations-/Exfiltrations-Scan · nicht ausgeführt+0/20
→ Noch nicht gescannt — das Repository-Archiv wird beim nächsten Cron-Lauf gescannt
Füge das in Claude Code, Cursor oder einen beliebigen KI-Assistenten ein, um alle Lücken zu schließen
StatusVon der Community indexiert
PublisherNicht verifiziert
SignaturNicht signiert
Domain—
Herkunft—
AbhängigkeitenNicht auditiert
Tool-Oberfläche—
Sicherheits-ScanNicht ausgeführt
EvaluierungenKeine
Indexiert13. Juni 2026

Die Verifizierung bestätigt die Identität des Publishers (die Inhaberschaft am Repo), nicht die Sicherheit des Codes. Der Sicherheits-Scan deckt bekannte CVEs und verdächtige Installationsskripte ab.

Tools

Noch nicht gescannt

Forge hat zu diesem Eintrag keinen Scan verzeichnet und hat daher keine Beobachtung seiner Tool-Oberfläche. Das ist das Fehlen eines Belegs, nicht der Beleg, dass er keine Tools offenlegt.

Über

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…

Schlagwörter
mcp
Alternativen
Tool-Oberflächen werden verglichen…