RoCQ

mcp-registry:tyler-blaine-hall-rocq

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking,...

A

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.