Swaraj

Privacy
Security
Agents

NEAR Hackathon 2026

About

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

Media

Played from X. Open the post (1:47) (opens in a new tab)

From the builder’s post on X. Images and video are streamed from X’s servers, not copied.

Discussion · 0 comments

Each comment is signed by its author on NEAR

Checking your wallet…

No comments yet. Start the discussion.

Comments are public rows on nearhunt.near under comment/3eaf18b2…. Only the author can delete one, because only they can write their own row. NEAR Hunt hides a comment that breaks the comment policy.

On-chain record

This page is a view. The data lives on NEAR mainnet.

Account: nearhunt.near
Key: project/3eaf18b2-a085-4c16-80a1-10ea4571f4ac
Schema: nearhunt/project/1
Written at block: 224,576,224 (opens in a new tab)
Record updated: 14 Nov 2026, 22:19 UTC
Comments: 0 signed keys

View JSON

What am I looking at?

“View JSON” opens this row in the public FastData KV API, read only from rows that nearhunt.near wrote itself. “Written at block” opens the block on Pikespeak.

Upvoted by

No upvotes yet.

Similar projects

Built this project?

Claims are checked against a project's GitHub repository, and this listing has none yet. To add it, request a correction (opens in a new tab); once it is listed you can claim the project here.

In the meantime, if the description, repository, links or a contact shown here are wrong or missing, request a correction (opens in a new tab) and it is fixed in a reviewed change. Records are never deleted from the chain.

Swaraj

About

Media

Links

Discussion · 0 comments