<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <!-- Core -->
  <url><loc>https://formagine.com/</loc><changefreq>weekly</changefreq><priority>1.0</priority></url>
  <url><loc>https://formagine.com/assess</loc><changefreq>monthly</changefreq><priority>0.9</priority></url>
  <url><loc>https://formagine.com/membership</loc><changefreq>monthly</changefreq><priority>0.9</priority></url>
  <url><loc>https://formagine.com/api/docs</loc><changefreq>weekly</changefreq><priority>0.9</priority></url>

  <!-- Form Templates -->
  <url><loc>https://formagine.com/forms</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/forms/token</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/forms/vault</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/forms/escrow</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/forms/governor</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/forms/marketplace</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>

  <!-- Chain Targets -->
  <url><loc>https://formagine.com/chains</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/chains/cosmwasm</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/chains/near</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/chains/stylus</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/chains/polkadot</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>

  <!-- Learn / Answer Pages -->
  <url><loc>https://formagine.com/learn</loc><changefreq>weekly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/what-is-algebraic-verification</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/how-to-verify-smart-contracts</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/alternative-to-smart-contract-audits</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/what-is-a-form</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/wasm-smart-contracts</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/smart-contract-invariants</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/compile-time-verification</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>
  <url><loc>https://formagine.com/learn/no-code-smart-contracts</loc><changefreq>monthly</changefreq><priority>0.8</priority></url>

  <!-- Language Specification -->
  <url><loc>https://formagine.com/spec</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/spec/types</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/spec/invariants</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/spec/transitions</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/spec/verification</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/spec/wasm</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>

  <!-- Comparison Pages -->
  <url><loc>https://formagine.com/compare</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/compare/algebraic-verification-vs-audits</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/compare/algebraic-verification-vs-testing</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/compare/algebraic-verification-vs-formal-verification</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/compare/wasm-vs-evm</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/compare/formagine-vs-solidity</loc><changefreq>monthly</changefreq><priority>0.7</priority></url>

  <!-- Machine-Readable -->
  <url><loc>https://formagine.com/llms.txt</loc><changefreq>weekly</changefreq><priority>0.7</priority></url>
  <url><loc>https://formagine.com/api/openapi.yaml</loc><changefreq>weekly</changefreq><priority>0.7</priority></url>
</urlset>
