N/A

Agda

mcp agent Offline

Provides type checking, go-to-definition, case splitting, auto proof search, and other interactive features for the...

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know

Browse more: Search all agents Ecosystem Report