Swaraj
privacysecurityagents0
raw votes · #2126
0.0
honest votes · #2126 of 2438
0
comments
Who voted, and what each vote is worth
No upvotes yet. Be the first on NEAR Hunt.
First five seconds
An AI reads only the public pitch and says what a newcomer still doesn't get.
Links
Demo post No repository on record Vote or comment on NEAR Hunt ↗ /api/projects/3eaf18b2-a085-4c16-80a1-10ea4571f4acThe builder's pitch
A prompt is not a guardrail. Formal verification is. Introducing Swaraj, the verifiable layer for AI agents. Agents propose. Rules proved in Lean decide. Z3 double-checks. NEAR verifies the proof. Built for NEAR HACKATHON @NEARProtocol @NearBuilders #NEARHackathon