メニュー
Discover and use DFlow documentation, Agent CLI, Trading API, Metadata API, Proof KYC, prediction markets, and the hosted DFlow docs MCP. Use before implementing DFlow features or when field-level endpoint details are needed.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.
Create new skills, modify and improve existing skills, and measure skill performance. Use when users want to create a skill from scratch, edit, or optimize an existing skill, run evals to test a skill, benchmark skill performance with variance analysis, or optimize a skill's description for better triggering accuracy.
Build Solana trading applications combining DFlow trading APIs with Helius infrastructure. Covers spot swaps (imperative and declarative), prediction markets, real-time market streaming, Proof KYC, the DFlow Agent CLI for autonomous trading, transaction submission via Sender, fee optimization, shred-level streaming via LaserStream, and wallet intelligence.
Build Solana DeFi applications combining Jupiter APIs with Helius infrastructure. Covers token swaps (Swap API V2), lending/borrowing (Lend protocol), limit orders (Trigger), DCA (Recurring), token/price data, transaction submission via Sender, fee optimization, real-time streaming, and wallet intelligence.
Build Solana trading and intelligence applications combining OKX DEX aggregation with Helius infrastructure. Integration-only layer — describes when and how to compose OKX tools with Helius tools for swaps, token discovery, smart money signals, meme token analysis, and portfolio intelligence.
Build frontend Solana applications with Phantom Connect SDK and Helius infrastructure. Covers React, React Native, and browser SDK integration, transaction signing via Helius Sender, API key proxying, token gating, NFT minting, crypto payments, real-time updates, and secure frontend architecture.
| name | dflow-docs |
| description | Discover and use DFlow documentation, Agent CLI, Trading API, Metadata API, Proof KYC, prediction markets, and the hosted DFlow docs MCP. Use before implementing DFlow features or when field-level endpoint details are needed. |
| metadata | {"source":"https://pond.dflow.net/llms.txt","mcp-server":"https://pond.dflow.net/mcp","docs-index":"skills/dflow-docs/llms.txt"} |
Use this skill as the DFlow routing layer for agents in this repo.
Before exploring individual pages, read the local documentation index:
sed -n '1,220p' skills/dflow-docs/llms.txt
The canonical remote index is:
https://pond.dflow.net/llms.txt
Refresh the local copy when needed:
curl -fsSL https://pond.dflow.net/llms.txt -o skills/dflow-docs/llms.txt
skills/dflow-docs/llms.txthttps://pond.dflow.net/mcpIf a field shape, endpoint parameter, error code, or compliance detail matters, prefer the hosted DFlow docs MCP or the local OpenAPI spec over memory.
Install:
curl -fsS https://cli.dflow.net | sh
Set up:
dflow setup
Common read-only commands:
dflow whoami
dflow positions
dflow guardrails show
Trading commands submit real transactions. Only run them when the operator explicitly asks for live execution and local DFlow guardrails have been checked.
Use the focused skill when the task matches:
dflow-spot-trading: Solana spot swaps, quotes, sponsored swaps, priority fees.dflow-kalshi-trading: buy, sell, redeem YES/NO prediction market tokens.dflow-kalshi-market-scanner: discover/filter events, markets, series, tags, candles.dflow-kalshi-market-data: orderbook, live data, trades, WebSocket streams.dflow-kalshi-portfolio: positions, P&L, rent reclaim.dflow-proof-kyc: wallet identity verification for Kalshi markets.dflow-platform-fees: builder fees through platformFeeBps or platformFeeScale.dflow-phantom-connect: full-stack Phantom wallet apps with DFlow trading.dflow guardrails show before autonomous execution.