★ 437 · Updated 2026-06-30
Routes contract review requests to legal council agent for analysis
Browse skills that share this capability.
★ 437 · Updated 2026-06-30
Routes contract review requests to legal council agent for analysis
★ 5 · Updated 2026-02-13
Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research.