Settings file Claude Code
Agent settings declaring 56 allowed tools.
10 24d ago C
tokens not measured
original MIT
Interactive Lean 4 + Mathlib formalization from a Claude Code conversation
Settings file Claude Code
Agent settings declaring 56 allowed tools.