Popular repositories Loading

1. xahau-mcp xahau-mcp Public

   First MCP for the Xahau network — offline Hook intelligence (WASM inspection + a Hooks-specific static-analysis rule engine), read-only ledger/codec/governance tools, and unsigned-tx builders. Read…

   TypeScript 6 2

2. xahc-prover xahc-prover Public

   Symbolic execution + Z3: mathematically prove an Xahau Hook is safe for ALL inputs. The third leg of the trifecta.

   Python 2

3. cuneiform-mcp cuneiform-mcp Public

   TypeScript 1

4. xahc xahc Public

   Xahau Hooks, Checked — safe build/clean/lint/sim toolchain for C Hooks

   JavaScript 1 1

5. evernode-mcp evernode-mcp Public

   Evernode AI Builder — MCP server that scaffolds, determinism-checks, costs, and helps deploy HotPocket dApps on Evernode/Xahau (advisory; pairs with the Hooks trifecta). MIT.

   TypeScript 1

6. awesome-mcp-servers awesome-mcp-servers Public

   Forked from punkpeye/awesome-mcp-servers

   A collection of MCP servers.