Logic
mcp-registry:automenta-logic
First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
View sourceA
100/100 First Seen
Feb 18, 2026
Last Scanned
Feb 18, 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.