file_content:75[proof-intent-unified.ts] ์ค์ง ๊ตฌํ ํ์ธ: Intent-Oriented Proof Computing
commit_feat:70docs: README ์ถ๊ฐ - ์ฝ์ด ๋ผ์ด๋ธ๋ฌ๋ฆฌ ๋ฐ ์ฆ๋ช
์ปดํ์ผ๋ฌ
readme_kw:30[proof-intent] โฆ ์ปดํ์ผ๋ฌ โโโ proof-intent-cargo.ts # Cargo ์๋ ๋ถ์โฆ