Skip to content

feat(formal): add where.mjs, the contract lookup command - #236

Merged
lan17 merged 3 commits into
mainfrom
claude/formal-where
Oct 15, 2026
Merged

feat(formal): add where.mjs, the contract lookup command#236
lan17 merged 3 commits into
mainfrom
claude/formal-where

fix(formal): make where.mjs select by contract and narrow honestly

d8b4d38
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar