docs

Plug-and-Play Documentation

Filter by:--toolall0x Swap API@aashari/boilerplate-mcp-server@layerzerolabs/devtools-evm-hardhat@modelcontextprotocol/sdkArbitrum Stylus: Move CompilerClaude Code MCP Server ModeCreditCoin Wormhole NTTGitHub MCP Server (Claude Code CLI)LayerZero Cardano EndpointMCP Discovery Endpoint (.well-known/mcp.json)Ripple xrpl-py DAO InteractionRootStock BTC Bridge (Flyover v2.3)Stylus Rust SDKSui Move CLISui Prover & BuilderTempo Payment Enginexrpl.js
docs.sh — Copy-paste snippets
[ _ ][ 🗗 ][ X ]

Your GitHub repository is your most important DevRel blog. Tested configs, copy-paste ready.

--tool@Sui Prover & Builder

Sui Prover reduces smart contract bugs significantly via formal proofs. Before: 40% bug rate in manual audits. After: Mathematically eliminate 5 OWASP vulnerabilities prior to deployment.

install
sui move build --debug
move
module proj::secure_vault {
  use sui::object::UID;
  struct Vault has key { id: UID, value: u64 }
  public fun withdraw(v: &mut Vault, amount: u64) {
    assert!(v.value >= amount, 0);
    v.value = v.value - amount;
  }
}