hackquest logo

pragma.

pragma is the on-chain intent engine that makes action as simple as intent.

视频

描述

Why pragma?

We believe the blockchain should feel natural. Today, blockchain actions are still too complex — even simple swaps require approvals, routers, and gas settings. pragma removes this friction by turning intent into action — letting users say what they want and have it safely executed on-chain.

pragma is an on-chain intent engine built on Monad that turns natural language into safe, executable transactions. Users simply type “swap half my MON to USDC” — Pragma parses, simulates, and executes it as a session-key–signed transaction enforced by MetaMask’s Delegation Toolkit (DTK).

Pragma combines MetaMask's HybridDelegator for secure deployment with DTK session keys for fast, policy-enforced execution. Each intent follows strict allowlists, spend caps, TTL, and rate limits. Integrated with Monorail aggregator for optimal swap routing and Envio’s HyperRPC for high-speed simulation.

The same deterministic pipeline powers both the web console and CLI REPL:

Parse → Policy → Simulate → Execute → Receipt

Every action produces a verifiable on-chain receipt with plan_hash verification — demonstrating how intent-driven UX and account abstraction can make blockchain interactions feel natural within Monad’s high-performance ecosystem.

Live App: https://pr4gma.xyz
Built by: https://s0nderlabs.xyz

本次黑客松进展

We built pragma during MetaMask Smart Accounts x Monad Dev Cook Off, implementing the full pipeline — from intent parsing and policy enforcement to routing, simulation, and on-chain execution. Integrated MetaMask DTK for 4337 delegations, Monorail aggregator for routing, and Envio HyperRPC for fast simulation. Delivered both a web console and CLI REPL for seamless Monad-native interaction.

技术栈

Next
Web3
Solidity
React

融资状态

Self-funded and independently developed by s0nderlabs. No external investment or grants raised to date. Currently exploring incubation and strategic funding opportunities to scale pragma beyond the hackathon MVP.

队长
Eelpabl0.eth
赛道
AIDeFiInfra