Aguara Watch

ZZ3 Theorem Prover with Functional ProgrammingAn MCP server for the z3 theorem prover

mcp-so:z3_mcp_javergar

View source
A
100/100

First Seen

Feb 18, 2026

Last Scanned

Feb 20, 2026

Findings

0

Score

100/100

No Security Issues Found

Aguara's static analysis detected no security findings in this skill. It scored a perfect 100/100.