synor/.misar/MISAR.md
Gulshan Yadav 0b249a1196
Some checks failed
CI / Check (push) Failing after 2s
CI / Test (push) Failing after 2s
CI / Build (Linux x86_64) (push) Has been skipped
Security Audit / Vulnerability Scan (push) Failing after 2s
Security Audit / License & Security Policy (push) Failing after 2s
Security Audit / Static Analysis (Clippy) (push) Failing after 2s
Security Audit / Secret Detection (push) Failing after 2s
Security Audit / Check Outdated Dependencies (push) Failing after 2s
Security Audit / Unsafe Code Audit (push) Failing after 2s
Security Audit / Property-Based Testing (push) Failing after 2s
Security Audit / WASM Module Security (push) Failing after 2s
CI / Benchmarks (push) Has been skipped
CI / CI Success (push) Failing after 1s
feat: add configuration files for MCP and update project documentation
2026-03-30 08:24:08 +05:30

9.9 KiB

synor.cc

Project Context


Stack

Layer Technology Details
Container Docker Dockerfile

Directory Structure

synor.cc/
  CLAUDE.md
  Dockerfile.explorer
  Dockerfile.faucet
  Dockerfile.security
  Dockerfile.test
  README.md
  SECURITY.md
  docker-compose.compute.yml
  docker-compose.dex-services.yml
  docker-compose.dex.yml
  ... and 4 more files
  .cargo/
    config.toml
  .github/
    dependabot.yml
    workflows/
      ci.yml
      release-wallet.yml
      release.yml
      security.yml
  .playwright-mcp/
    block-enhanced.png
    dag-2d-view.png
    dag-3d-final.png
    dag-3d-modern-full.png
    dag-3d-modern.png
    dag-3d-view.png
    dark-theme-restored.png
    explorer-blocks-working.png
    explorer-dag-working.png
    explorer-error-state.png
    ... and 21 more files
  .vscode/
    settings.json
  apps/
    api-gateway/
      Dockerfile
      README.md
      package.json
      tsconfig.json
      src/
        api-keys.ts
        index.ts
        rate-limiter.ts
    cli/
      Cargo.toml
      src/
        client.rs
        config.rs
        main.rs
        output.rs
        wallet.rs
    desktop-wallet/
      Dockerfile
      Dockerfile.dev
      README.md
      docker-compose.dev.yml
      index.html
      playwright.config.ts
      pnpm-lock.yaml
      postcss.config.js
      tailwind.config.js
      tsconfig.json
      ... and 2 more files
      e2e/
        smoke.spec.ts
      playwright-report/
        index.html
      src/
        App.tsx
        index.css
        main.tsx
        vite-env.d.ts
      src-tauri/
        Cargo.lock
        build.rs
      test-results/
        .last-run.json
    explorer/
      Cargo.toml
    explorer-web/
      Dockerfile
      index.html
      nginx.conf
      package-lock.json
      package.json
      playwright.config.ts
      postcss.config.js
      tailwind.config.js
      tsconfig.json
      tsconfig.node.json
      ... and 1 more files
      e2e/
        accessibility.spec.ts
        blocks.spec.ts
        home.spec.ts
        mobile.spec.ts
        search.spec.ts
      public/
        favicon.svg
      src/
        App.tsx
        index.css
        main.tsx
        vite-env.d.ts
      src/
        main.rs
    faucet/
      Cargo.toml
      src/
        main.rs
        secrets.rs
    hardhat-plugin/
      README.md
      package.json
      tsconfig.json
      src/
        deployer.ts
        index.ts
        network.ts
        provider.ts
        type-extensions.ts
        types.ts
    synord/
      Cargo.toml
      src/
        cli.rs
        config.rs
        lib.rs
        main.rs
        node.rs
      tests/
        byzantine_fault_tests.rs
        fork_resolution.rs
        multi_node_network.rs
        node_lifecycle.rs
        reorg_tests.rs
        stress_tests.rs
        sync_protocol.rs
    web/
      .gitignore
      Dockerfile
      README.md
      index.html
      package.json
      postcss.config.js
      tailwind.config.js
      tsconfig.json
      tsconfig.node.json
      vite.config.ts
      public/
        synor.svg
      src/
        App.tsx
        index.css
        main.tsx
        vite-env.d.ts
    website/
      Dockerfile
      index.html
      nginx.conf
      package-lock.json
      package.json
      postcss.config.js
      tailwind.config.js
      tsconfig.json
      tsconfig.node.json
      vite.config.ts
      public/
        favicon.svg
      src/
        App.tsx
        index.css
        main.tsx
        vite-env.d.ts
  contracts/
    multi-sig/
      Cargo.toml
      src/
        lib.rs
    perps/
      Cargo.lock
      Cargo.toml
      src/
        lib.rs
      target/
        .rustc_info.json
        CACHEDIR.TAG
  crates/
    synor-compiler/
      Cargo.toml
      src/
        lib.rs
        metadata.rs
        optimizer.rs
        validator.rs
    synor-contract-test/
      Cargo.toml
      src/
        assertions.rs
        environment.rs
        lib.rs
        mock_storage.rs
        test_account.rs
    synor-dag/
      Cargo.toml
      benches/
        ghostdag_bench.rs
      src/
        dag.rs
        dagknight.rs
        ghostdag.rs
        latency.rs
        lib.rs
        ordering.rs
        pruning.rs
        reachability.rs
    synor-economics/
      src/
        error.rs
        lib.rs
    synor-governance/
      Cargo.toml
      src/
        dao.rs
        lib.rs
        multisig.rs
        treasury.rs
        vesting.rs
    synor-network/
      Cargo.toml
      src/
        behaviour.rs
        config.rs
        eclipse.rs
        lib.rs
        message.rs
        partition.rs
        peer.rs
        protocol.rs
        rate_limit.rs
        ratelimit.rs
        ... and 4 more files
    synor-privacy/
      Cargo.toml
      src/
        bulletproofs.rs
        confidential.rs
        error.rs
        lib.rs
        pedersen.rs
        ring.rs
        stealth.rs
    synor-storage/
      Cargo.toml
      benches/
        storage_bench.rs.disabled
      src/
        cache.rs
        car.rs
        cf.rs
        chunker.rs
        cid.rs
        db.rs
        deal.rs
        erasure.rs
        error.rs
        lib.rs
        ... and 3 more files
    synor-verifier/
      Cargo.toml
      src/
        ast.rs
        checker.rs
        error.rs
        lib.rs
        parser.rs
        prover.rs
        smt.rs
        symbolic.rs
    synor-vm/
      Cargo.toml
      src/
        compression.rs
        compute.rs
        context.rs
        engine.rs
        gas.rs
        gas_estimator.rs
        host.rs
        lib.rs
        scheduler.rs
        speculation.rs
        ... and 2 more files
  docker/
    compute-node/
      Dockerfile
      prometheus.yml
    dex/
      aggregator/
        index.js
        package.json
      api/
        index.js
        package.json
      oracle/
        index.js
        package.json
      perps/
        index.js
        package.json
      simulator/
        index.js
        package.json
    economics-service/
      Dockerfile
      config.toml
      init.sql
    hosting-gateway/
      Caddyfile
      Dockerfile
    storage-gateway/
      nginx.conf
    storage-node/
      Dockerfile
      config.toml
    zk-rollup/
      Dockerfile
      config.toml
      nginx.conf
      prometheus.yml
  docs/
    ARCHITECTURE_HOSTING.md
    ARCHITECTURE_STORAGE.md
    CODE_SIGNING.md
    DEPLOYMENT.md
    DEVELOPER_GUIDE.md
    DEX_AND_MONETIZATION.md
    PLAN.md
    SECURITY_AUDIT_SCOPE.md
    TESTNET.md
    PLAN/
      PHASE11-Synor-Compute-L2-Part2-HyperEfficiency.md
      PHASE11-Synor-Compute-L2-Part3-HeterogeneousCompute.md
      PHASE11-Synor-Compute-L2.md
      PHASE14_PLAN.md
      README.md
      VALIDATION_REPORT.md
      PHASE0-Foundation/
        01-Milestone-01-CoreTypes.md
        01-Milestone-02-Cryptography.md
      PHASE1-NodeIntegration/
        01-Milestone-01-ServiceWiring.md
        01-Milestone-02-GenesisChain.md
      PHASE13-AdvancedEnhancements/
        README.md
      PHASE2-CLIWallet/
        01-Milestone-01-WalletCrypto.md
        01-Milestone-02-CLICommands.md
      PHASE3-NetworkBootstrap/
        01-Milestone-01-TestnetDeployment.md
        01-Milestone-02-NetworkHardening.md
      PHASE4-SmartContracts/
        01-Milestone-01-ContractSDK.md
        01-Milestone-02-ContractTooling.md
      PHASE5-Governance/
        01-Milestone-01-DAOLaunch.md
        01-Milestone-02-GovernanceFeatures.md
      PHASE6-QualityAssurance/
        01-Milestone-01-Benchmarks.md
        01-Milestone-02-Testing.md
        01-Milestone-03-Optimization.md
      PHASE7-ProductionReadiness/
        01-Milestone-01-Security.md
        01-Milestone-02-MainnetLaunch.md
        01-Milestone-03-Ecosystem.md
      PHASE9-SynorHosting/
        01-Milestone-01-HostingCore.md
        01-Milestone-02-HostingGateway.md
        01-Milestone-03-HostingCLI.md
    milestones/
      phase-2-apis-cli.md
    tutorials/
      01-getting-started.md
      02-building-a-wallet.md
      03-smart-contracts.md
      04-api-guide.md
      README.md
  formal/
    README.md
    kani/
      README.md
    proofs/
      DifficultyConvergence.md
    tla/
      GHOSTDAGOrdering.tla
      UTXOConservation.tla
  monitoring/
    alertmanager.yml
    alerts.yml
    prometheus.yml
    grafana/
      dashboards/
        synor-testnet.json
  scripts/
    build-wasm.sh
    docker-entrypoint.sh
    generate-node-keys.sh
    new-contract.sh
    profile.sh
    security-audit.sh
    testnet-deploy.sh
  sdk/
    c/
      .gitignore
      CMakeLists.txt
      README.md
      examples/
        compiler_example.c
        crypto_example.c
        dex_example.c
        ibc_example.c
        zk_example.c
      include/
        synor_compute.h
        synor_crypto.h
      src/
        common.c
        synor_compute.c
    ruby/
      README.md
      synor_compute.gemspec
      synor_rpc.gemspec
      synor_storage.gemspec
      synor_wallet.gemspec
      examples/
        compiler_example.rb
        crypto_example.rb
        dex_example.rb
        ibc_example.rb
        zk_example.rb
      lib/
        synor_bridge.rb
        synor_compute.rb
        synor_contract.rb
        synor_database.rb
        synor_economics.rb
        synor_governance.rb
        synor_hosting.rb
        synor_mining.rb
        synor_privacy.rb
        synor_rpc.rb
        ... and 2 more files
      test/
        test_tensor.rb
        test_types.rb
  src/
    lib.rs
  tests/
    cross_crate_integration.rs
    phase13_integration.rs

Key Config Files

  • .github/workflows/ci.yml
  • .github/workflows/release-wallet.yml
  • .github/workflows/release.yml
  • .github/workflows/security.yml
  • Cargo.toml
  • Dockerfile

Rules