schildep — 2 mods

Settings file Claude Code

Agent settings declaring 6 allowed tools.

46 3mo ago A tokens not measured original MIT

Instructions file

Instructions for schildep/verified-polygon-intersection, covering guideline on placement of definitions/theorems, network access and bash commands.

46 3mo ago A 746 tokens original MIT