io.github.daedalus/mcp-z3-prover

MCPcomunidad
v0.1.0io.github.daedalusUnknownActualizado hace 6 mGitHub

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…

Funciona en
ClaudeCursorCopilotGemini

Inferido de los transportes que declara este listado (stdio). Que un cliente no aparezca aquí no significa que se haya descartado: simplemente Forge no puede confirmarlo.

Indexado automáticamente desde fuentes públicas. Aún sin verificar por su desarrollador en Forge.Reclamar este listado →
1Estrellas en GitHub
hace 6 mÚltima actualización
Paquete
Autorio.github.daedalus
LicenciaUnknown
Versión0.1.0
Fuentemcp-registry
GitHubdaedalus/mcp-z3-prover
SBOMCycloneDX 1.6 ↓
Estado de confianza
B
60/100Bueno
✓Listado en el índice de Forge+10/10
—Identidad del publicador verificada+0/20
→ Publicador: ejecuta `forge publish` desde el repo del paquete para reclamar la propiedad
—Firma de publicación Ed25519+0/5
→ Se incluye automáticamente cuando el publicador ejecuta `forge publish`
—Verificación de dominio+0/5
→ Publicador: aloja /.well-known/forge.json en la página del paquete con { "publisher": "<github-login>" }
—npm Trusted Publishing (Sigstore)+0/5
→ Publica desde GitHub Actions con --provenance para que la attestation vincule este paquete a este repo
—Coincidencia de maintainer en npm+0/5
→ Se consigue cuando tu identidad esté verificada arriba y ese login sea maintainer de este paquete en npm
✓Análisis CVE · limpio+30/30
✓Análisis estático · limpio+20/20
Pégalo en Claude Code, Cursor o cualquier asistente de IA para corregir todas las carencias
EstadoIndexado por la comunidad
PublicadorSin verificar
FirmaSin firmar
Dominio—
Procedencia—
DependenciasSin auditar
Superficie de herramientas—
Análisis de seguridad✓ Limpiov0.1.0 · hace 3 m¿Qué tan bien funciona este análisis?
EvaluacionesNinguna
Indexado13 jun 2026

La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.

Herramientas

No se han encontrado declaraciones de herramientas en el código3mo ago

Forge leyó 0 archivos de código de tarball del paquete publicado y no encontró ningún registro de herramientas MCP. La extracción se basa en patrones sobre el código publicado: un servidor que construye su lista de herramientas en tiempo de ejecución, o que solo publica código empaquetado o minificado, no registra nada que esto pueda ver. Tómalo como «no detectado», no como «no expone ninguna».

Acerca de

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…

Palabras clave
mcp
Alternativas
Comparando superficies de herramientas…

Sin cobertura de dependencias

El resolutor de dependencias de Forge solo lee metadatos de npm, así que este paquete de PyPI no tiene árbol resuelto. Es una carencia de cobertura, no un certificado de buena salud.