mycelium-cli 0.1.0__tar.gz

mycelium_cli-0.1.0/PKG-INFO

@@ -0,0 +1,239 @@
+Metadata-Version: 2.4
+Name: mycelium-cli
+Version: 0.1.0
+Summary: Mycelium CLI — init, newwallet, compile, deploy, register
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+Requires-Dist: typer>=0.9
+Requires-Dist: tomli-w>=1.0
+Requires-Dist: stellar-sdk<15,>=14
+
+# Mycelium CLI
+
+The Mycelium CLI (`mycelium` command-line tool) is the developer command center for the Mycelium framework. It provides interactive scaffolding, local wallet/keypair management, contract checking and compilation, Soroban blockchain deployments, agent directory registration in the Hive registry, and execution runners for autonomous agent loops.
+
+---
+
+## 🚀 Installation & Setup
+
+Install the CLI toolchain directly from PyPI (packaged within `mycelium-cli` or bundled inside the parent `mycelium-stellar` wrapper):
+
+```bash
+pip install mycelium-cli
+```
+
+Verify that the installation was successful by running:
+```bash
+mycelium --help
+```
+
+---
+
+## ⚙️ Configuration Reference (`mycelium.toml`)
+
+All Mycelium CLI operations run relative to a project root containing a `mycelium.toml` file. This configuration serves as the single source of truth for the local agent and its corresponding on-chain contract.
+
+```toml
+[project]
+name = "sentinel_agent"
+version = "0.1.0"
+author = "Developer"
+
+[agent]
+framework = "gemini"             # Options: "langgraph" | "gemini" | "anthropic" | "custom"
+model = "gemini-2.0-flash"        # Target LLM model string
+unique_name = "sentinel_alpha"   # Alphanumeric agent registry name
+
+[onchain]
+source_contract = "contract.py"  # Path to smart contract source file
+target_wasm = "build/contract.wasm" # Output binary path
+network = "testnet"             # Default ledger target: "testnet" | "mainnet"
+contract_id = "CC..."            # Automatically populated after deployment
+wallet_public_key = "GD..."      # Automatically populated after deployment
+
+[registry]
+hive_registry_address = "CCQ..." # Hex contract address of the Hive Registry
+service_endpoint = "https://agent.sentinel.mycelium.sh" # Agent API URL
+capabilities = ["data-analysis", "stellar-arbitrage"] # List of capability tags
+```
+
+---
+
+## 🛠️ Complete CLI Command Reference
+
+### 1. `mycelium init`
+Scaffolds a new Mycelium project from scratch. It launches an interactive setup wizard that prompts you for project properties.
+
+* **Syntax**:
+  ```bash
+  mycelium init <project_name> [options]
+  ```
+* **Interactive Wizard Options**:
+  - **AI Core Framework**: Select from `langgraph`, `gemini`, `anthropic`, or `custom`.
+  - **Target LLM Model**: Pick from recommended defaults or input a custom string.
+  - **Unique Name**: Choose a registry name (regex validated against `^[a-zA-Z0-9_]{3,30}$`).
+* **Flags**:
+  - `--yes` / `-y`: Skip all interactive questions and initialize using standard default configurations.
+  - `--force` / `-f`: Overwrite the destination directory if it already exists.
+
+### 2. `mycelium newwallet`
+Generates a new secure Stellar keypair (Ed25519) and saves it to `.mycelium/wallet.json`.
+
+* **Syntax**:
+  ```bash
+  mycelium newwallet [options]
+  ```
+* **Security Details**:
+  - The secret seed is encrypted at rest using PBKDF2-HMAC-SHA256 (600,000 iterations) + AES-256-GCM.
+  - Prompts securely for an encryption passphrase.
+  - Filesystem permissions on `.mycelium/wallet.json` are automatically restricted to `0600` (read/write by owner only).
+* **Flags**:
+  - `--passphrase <text>`: Provide the encryption passphrase directly (convenient for automated environments).
+  - `--force`: Force generation, overwriting any existing wallet configuration.
+
+### 3. `mycelium compile`
+Parses and compiles a Python-DSL contract file into a WebAssembly contract binary.
+
+* **Syntax**:
+  ```bash
+  mycelium compile [source_file] [options]
+  ```
+* **Flags**:
+  - `--output <path>` / `-o <path>`: Specify the output WASM file path (defaults to `build/contract.wasm`).
+  - `--optimize`: Enable maximum optimization passes (release profile, targeting size reduction).
+
+### 4. `mycelium check`
+Performs static evaluation and type verification on a contract script without generating a WASM binary. Useful for checking syntax in IDEs, git pre-commit hooks, or CI pipelines.
+
+* **Syntax**:
+  ```bash
+  mycelium check [source_file]
+  ```
+
+### 5. `mycelium deploy`
+Deploys the compiled WASM binary directly to Stellar/Soroban.
+
+* **Syntax**:
+  ```bash
+  mycelium deploy [options]
+  ```
+* **Behaviors**:
+  - **Testnet**: Checks the balance. If the balance is zero, the CLI automatically requests funds from the Stellar Friendbot API, waits for ledger confirmation, and broadcasts the deployment transaction.
+  - **Mainnet**: Asserts the wallet has a minimum balance of `5 XLM` (to satisfy reserves). If insufficient, it halts with an error and displays the public key.
+  - On success, updates `contract_id` and `wallet_public_key` in `mycelium.toml`.
+* **Flags**:
+  - `--network <name>`: Override the network target (`testnet` or `mainnet`).
+  - `--wasm <path>`: Override the WASM file path to deploy.
+
+### 6. `mycelium register`
+Submits a signed transaction to the global Hive Registry mapping your agent's configuration parameters.
+
+* **Syntax**:
+  ```bash
+  mycelium register [options]
+  ```
+* **Details**:
+  - Packages the agent name, service endpoint, public address, and the SHA-256 hash of capability tags.
+  - Verifies that local keys match the owner keys if updating an existing registration.
+
+### 7. `mycelium status`
+Displays the comprehensive deployment and configuration status of the active project in a single screen.
+
+* **Syntax**:
+  ```bash
+  mycelium status
+  ```
+* **Output Fields**:
+  - **Wallet Address**: G-address extracted from local wallet config.
+  - **Wallet Balance**: Balance retrieved from Horizon RPC.
+  - **Network**: Deployed target network passphrase identifier.
+  - **Contract Deployment**: Verification status of the contract ID on the ledger.
+  - **Registry Entry**: Name verification, registration state, reputation score, and API endpoint details.
+
+### 8. `mycelium fund`
+Explicitly requests Friendbot funding for the agent's wallet. Used to top up testnet gas balances.
+
+* **Syntax**:
+  ```bash
+  mycelium fund [options]
+  ```
+* **Flags**:
+  - `--amount <number>`: Request a specific amount (if supported by network node limits).
+
+### 9. `mycelium call`
+Invokes an on-chain contract function directly from your terminal.
+
+* **Syntax**:
+  ```bash
+  mycelium call <function_name> [args...] [options]
+  ```
+* **Details**:
+  - Automatically maps plain argument strings to the correct Soroban type based on the contract specification.
+* **Flags**:
+  - `--read-only`: Execute as a simulate-only view invocation (free, does not require passphrase or signature).
+  - `--contract <id>`: Override the target contract ID.
+
+### 10. `mycelium resolve`
+Queries the on-chain Hive Registry to resolve details of another agent by its name.
+
+* **Syntax**:
+  ```bash
+  mycelium resolve <agent_name>
+  ```
+
+### 11. `mycelium pay`
+Triggers an agent-to-agent XLM settlement payment. It resolves the destination agent's wallet address from the registry.
+
+* **Syntax**:
+  ```bash
+  mycelium pay <recipient_name_or_address> <amount_xlm>
+  ```
+
+### 12. `mycelium events` / `mycelium logs`
+Streams on-chain event topics emitted by the agent's smart contract.
+
+* **Syntax**:
+  ```bash
+  mycelium events [options]
+  ```
+* **Flags**:
+  - `--contract <id>`: Override the contract ID to monitor.
+  - `--start-ledger <number>`: Begin streaming historical events from a specific ledger sequence.
+
+### 13. `mycelium doctor`
+Runs a suite of sanity checks to verify the state of your local toolchain:
+1. Asserts `stellar-cli` is present on your system path.
+2. Checks if local cargo/wasm targets are properly configured.
+3. Tests network connectivity and latency to Horizon and Soroban RPC nodes.
+4. Identifies version mismatches and prints corrective shell actions.
+
+* **Syntax**:
+  ```bash
+  mycelium doctor
+  ```
+
+### 14. `mycelium run`
+Spins up the agent's execution loop (`agent.py`) in your terminal, pre-loading context configurations, wallet files, and contract IDs from the project directory.
+
+* **Syntax**:
+  ```bash
+  mycelium run [options]
+  ```
+* **Flags**:
+  - `--steps <number>`: Limit the maximum number of steps the LLM loop is permitted to run.
+
+### 15. `mycelium test`
+Performs a simulation dry-run of the agent loop. It intercepts all state-changing contract calls, executes them via simulation, logs estimated resource fees, and returns without signing or broadcasting transactions.
+
+* **Syntax**:
+  ```bash
+  mycelium test
+  ```
+
+---
+
+## 🔐 Environment Variables
+
+* `MYCELIUM_DECRYPT_KEY`: Set this env variable to bypass interactive wallet decryption password prompts. Essential for CI/CD and non-interactive workflows.
+* `MYCELIUM_CONTRACT_ID`: Override default contract target.
+* `STELLAR_NETWORK`: Overrides default network selection (`testnet` / `mainnet`).

mycelium_cli-0.1.0/README.md

@@ -0,0 +1,229 @@
+# Mycelium CLI
+
+The Mycelium CLI (`mycelium` command-line tool) is the developer command center for the Mycelium framework. It provides interactive scaffolding, local wallet/keypair management, contract checking and compilation, Soroban blockchain deployments, agent directory registration in the Hive registry, and execution runners for autonomous agent loops.
+
+---
+
+## 🚀 Installation & Setup
+
+Install the CLI toolchain directly from PyPI (packaged within `mycelium-cli` or bundled inside the parent `mycelium-stellar` wrapper):
+
+```bash
+pip install mycelium-cli
+```
+
+Verify that the installation was successful by running:
+```bash
+mycelium --help
+```
+
+---
+
+## ⚙️ Configuration Reference (`mycelium.toml`)
+
+All Mycelium CLI operations run relative to a project root containing a `mycelium.toml` file. This configuration serves as the single source of truth for the local agent and its corresponding on-chain contract.
+
+```toml
+[project]
+name = "sentinel_agent"
+version = "0.1.0"
+author = "Developer"
+
+[agent]
+framework = "gemini"             # Options: "langgraph" | "gemini" | "anthropic" | "custom"
+model = "gemini-2.0-flash"        # Target LLM model string
+unique_name = "sentinel_alpha"   # Alphanumeric agent registry name
+
+[onchain]
+source_contract = "contract.py"  # Path to smart contract source file
+target_wasm = "build/contract.wasm" # Output binary path
+network = "testnet"             # Default ledger target: "testnet" | "mainnet"
+contract_id = "CC..."            # Automatically populated after deployment
+wallet_public_key = "GD..."      # Automatically populated after deployment
+
+[registry]
+hive_registry_address = "CCQ..." # Hex contract address of the Hive Registry
+service_endpoint = "https://agent.sentinel.mycelium.sh" # Agent API URL
+capabilities = ["data-analysis", "stellar-arbitrage"] # List of capability tags
+```
+
+---
+
+## 🛠️ Complete CLI Command Reference
+
+### 1. `mycelium init`
+Scaffolds a new Mycelium project from scratch. It launches an interactive setup wizard that prompts you for project properties.
+
+* **Syntax**:
+  ```bash
+  mycelium init <project_name> [options]
+  ```
+* **Interactive Wizard Options**:
+  - **AI Core Framework**: Select from `langgraph`, `gemini`, `anthropic`, or `custom`.
+  - **Target LLM Model**: Pick from recommended defaults or input a custom string.
+  - **Unique Name**: Choose a registry name (regex validated against `^[a-zA-Z0-9_]{3,30}$`).
+* **Flags**:
+  - `--yes` / `-y`: Skip all interactive questions and initialize using standard default configurations.
+  - `--force` / `-f`: Overwrite the destination directory if it already exists.
+
+### 2. `mycelium newwallet`
+Generates a new secure Stellar keypair (Ed25519) and saves it to `.mycelium/wallet.json`.
+
+* **Syntax**:
+  ```bash
+  mycelium newwallet [options]
+  ```
+* **Security Details**:
+  - The secret seed is encrypted at rest using PBKDF2-HMAC-SHA256 (600,000 iterations) + AES-256-GCM.
+  - Prompts securely for an encryption passphrase.
+  - Filesystem permissions on `.mycelium/wallet.json` are automatically restricted to `0600` (read/write by owner only).
+* **Flags**:
+  - `--passphrase <text>`: Provide the encryption passphrase directly (convenient for automated environments).
+  - `--force`: Force generation, overwriting any existing wallet configuration.
+
+### 3. `mycelium compile`
+Parses and compiles a Python-DSL contract file into a WebAssembly contract binary.
+
+* **Syntax**:
+  ```bash
+  mycelium compile [source_file] [options]
+  ```
+* **Flags**:
+  - `--output <path>` / `-o <path>`: Specify the output WASM file path (defaults to `build/contract.wasm`).
+  - `--optimize`: Enable maximum optimization passes (release profile, targeting size reduction).
+
+### 4. `mycelium check`
+Performs static evaluation and type verification on a contract script without generating a WASM binary. Useful for checking syntax in IDEs, git pre-commit hooks, or CI pipelines.
+
+* **Syntax**:
+  ```bash
+  mycelium check [source_file]
+  ```
+
+### 5. `mycelium deploy`
+Deploys the compiled WASM binary directly to Stellar/Soroban.
+
+* **Syntax**:
+  ```bash
+  mycelium deploy [options]
+  ```
+* **Behaviors**:
+  - **Testnet**: Checks the balance. If the balance is zero, the CLI automatically requests funds from the Stellar Friendbot API, waits for ledger confirmation, and broadcasts the deployment transaction.
+  - **Mainnet**: Asserts the wallet has a minimum balance of `5 XLM` (to satisfy reserves). If insufficient, it halts with an error and displays the public key.
+  - On success, updates `contract_id` and `wallet_public_key` in `mycelium.toml`.
+* **Flags**:
+  - `--network <name>`: Override the network target (`testnet` or `mainnet`).
+  - `--wasm <path>`: Override the WASM file path to deploy.
+
+### 6. `mycelium register`
+Submits a signed transaction to the global Hive Registry mapping your agent's configuration parameters.
+
+* **Syntax**:
+  ```bash
+  mycelium register [options]
+  ```
+* **Details**:
+  - Packages the agent name, service endpoint, public address, and the SHA-256 hash of capability tags.
+  - Verifies that local keys match the owner keys if updating an existing registration.
+
+### 7. `mycelium status`
+Displays the comprehensive deployment and configuration status of the active project in a single screen.
+
+* **Syntax**:
+  ```bash
+  mycelium status
+  ```
+* **Output Fields**:
+  - **Wallet Address**: G-address extracted from local wallet config.
+  - **Wallet Balance**: Balance retrieved from Horizon RPC.
+  - **Network**: Deployed target network passphrase identifier.
+  - **Contract Deployment**: Verification status of the contract ID on the ledger.
+  - **Registry Entry**: Name verification, registration state, reputation score, and API endpoint details.
+
+### 8. `mycelium fund`
+Explicitly requests Friendbot funding for the agent's wallet. Used to top up testnet gas balances.
+
+* **Syntax**:
+  ```bash
+  mycelium fund [options]
+  ```
+* **Flags**:
+  - `--amount <number>`: Request a specific amount (if supported by network node limits).
+
+### 9. `mycelium call`
+Invokes an on-chain contract function directly from your terminal.
+
+* **Syntax**:
+  ```bash
+  mycelium call <function_name> [args...] [options]
+  ```
+* **Details**:
+  - Automatically maps plain argument strings to the correct Soroban type based on the contract specification.
+* **Flags**:
+  - `--read-only`: Execute as a simulate-only view invocation (free, does not require passphrase or signature).
+  - `--contract <id>`: Override the target contract ID.
+
+### 10. `mycelium resolve`
+Queries the on-chain Hive Registry to resolve details of another agent by its name.
+
+* **Syntax**:
+  ```bash
+  mycelium resolve <agent_name>
+  ```
+
+### 11. `mycelium pay`
+Triggers an agent-to-agent XLM settlement payment. It resolves the destination agent's wallet address from the registry.
+
+* **Syntax**:
+  ```bash
+  mycelium pay <recipient_name_or_address> <amount_xlm>
+  ```
+
+### 12. `mycelium events` / `mycelium logs`
+Streams on-chain event topics emitted by the agent's smart contract.
+
+* **Syntax**:
+  ```bash
+  mycelium events [options]
+  ```
+* **Flags**:
+  - `--contract <id>`: Override the contract ID to monitor.
+  - `--start-ledger <number>`: Begin streaming historical events from a specific ledger sequence.
+
+### 13. `mycelium doctor`
+Runs a suite of sanity checks to verify the state of your local toolchain:
+1. Asserts `stellar-cli` is present on your system path.
+2. Checks if local cargo/wasm targets are properly configured.
+3. Tests network connectivity and latency to Horizon and Soroban RPC nodes.
+4. Identifies version mismatches and prints corrective shell actions.
+
+* **Syntax**:
+  ```bash
+  mycelium doctor
+  ```
+
+### 14. `mycelium run`
+Spins up the agent's execution loop (`agent.py`) in your terminal, pre-loading context configurations, wallet files, and contract IDs from the project directory.
+
+* **Syntax**:
+  ```bash
+  mycelium run [options]
+  ```
+* **Flags**:
+  - `--steps <number>`: Limit the maximum number of steps the LLM loop is permitted to run.
+
+### 15. `mycelium test`
+Performs a simulation dry-run of the agent loop. It intercepts all state-changing contract calls, executes them via simulation, logs estimated resource fees, and returns without signing or broadcasting transactions.
+
+* **Syntax**:
+  ```bash
+  mycelium test
+  ```
+
+---
+
+## 🔐 Environment Variables
+
+* `MYCELIUM_DECRYPT_KEY`: Set this env variable to bypass interactive wallet decryption password prompts. Essential for CI/CD and non-interactive workflows.
+* `MYCELIUM_CONTRACT_ID`: Override default contract target.
+* `STELLAR_NETWORK`: Overrides default network selection (`testnet` / `mainnet`).

mycelium_cli-0.1.0/mycelium_cli/__init__.py

@@ -0,0 +1 @@
+# Mycelium CLI Package

mycelium_cli-0.1.0/mycelium_cli/commands/__init__.py

@@ -0,0 +1 @@
+# CLI subcommands package

mycelium_cli-0.1.0/mycelium_cli/commands/agent.py

@@ -0,0 +1,70 @@
+"""
+`mycelium agent` — run a Mycelium agent runtime script.
+
+Loads the developer's agent script (e.g. the scaffolded `agent.py`) as a module
+and runs it, binding the on-chain contract id into the environment as
+`MYCELIUM_CONTRACT_ID` so the script (and any `AgentContext` it builds) can read
+it. If the script exposes a `main()` callable it is invoked; otherwise importing
+the module is treated as running it (top-level code executes on import).
+"""
+
+import importlib.util
+import os
+import sys
+
+
+def _load_dotenv(path: str) -> None:
+    """Minimal .env loader: sets KEY=VALUE pairs into os.environ if not already set."""
+    if not os.path.exists(path):
+        return
+    with open(path, "r") as f:
+        for line in f:
+            line = line.strip()
+            if not line or line.startswith("#") or "=" not in line:
+                continue
+            key, _, value = line.partition("=")
+            key = key.strip()
+            if key.startswith("export "):
+                key = key[len("export "):].strip()
+            value = value.strip()
+            # Strip a single pair of matching surrounding quotes.
+            if len(value) >= 2 and value[0] == value[-1] and value[0] in ("'", '"'):
+                value = value[1:-1]
+            os.environ.setdefault(key, value)
+
+
+def run_agent(file_path: str, contract_id: str):
+    if not os.path.exists(file_path):
+        print(f"Error: agent runtime file {file_path} not found.")
+        sys.exit(1)
+
+    print(f"[Agent] Loading runtime script: {file_path}")
+    print(f"[Agent] Bound to on-chain contract: {contract_id}")
+
+    # Expose the bound contract id to the agent script and any SDK it constructs.
+    os.environ["MYCELIUM_CONTRACT_ID"] = contract_id
+
+    # Load a sibling .env (written by `mycelium init` with the provider API key)
+    # so the agent can authenticate without the key being hard-coded in source.
+    _load_dotenv(os.path.join(os.path.dirname(os.path.abspath(file_path)), ".env"))
+
+    module_name = os.path.splitext(os.path.basename(file_path))[0]
+    spec = importlib.util.spec_from_file_location(module_name, file_path)
+    if spec is None or spec.loader is None:
+        print(f"Error: could not load {file_path} as a Python module.")
+        sys.exit(1)
+    module = importlib.util.module_from_spec(spec)
+    # Make the script's own directory importable (so it can import sibling files).
+    sys.path.insert(0, os.path.dirname(os.path.abspath(file_path)) or ".")
+
+    try:
+        spec.loader.exec_module(module)
+        if hasattr(module, "main") and callable(module.main):
+            print("[Agent] Running main()...")
+            module.main()
+        print("[Agent] Runtime finished.")
+    except KeyboardInterrupt:
+        print("\n[Agent] Execution halted by user request.")
+    except Exception as e:
+        print(f"❌ Agent runtime error: {e}")
+        sys.exit(1)

mycelium_cli-0.1.0/mycelium_cli/commands/call.py

@@ -0,0 +1,96 @@
+"""
+`mycelium call <fn> [args...]` — invoke a deployed contract function from the CLI.
+
+By default the call is read-only (simulated, no signature, no fee) — perfect for
+views and getters. Pass `--send` to sign and submit a state-changing transaction,
+which loads the project wallet and prompts for its passphrase.
+
+Argument widths are marshalled automatically from the contract spec (fetched
+once from RPC), so `mycelium call add 40` "just works" — no U64() wrapper needed.
+String tokens are interpreted as ints/bools/addresses where unambiguous and left
+as strings otherwise.
+"""
+
+import sys
+from typing import Any, List, Optional
+
+from mycelium_cli.config import get_value
+
+DEFAULT_WALLET_PATH = ".mycelium/wallet.json"
+
+
+def _parse_arg(token: str) -> Any:
+    """Best-effort coerce a CLI string token into a Python value.
+
+    Integers and bools are recognised; addresses/symbols/strings are left as
+    strings (AgentContext + the contract spec marshal them to the right SCVal).
+    Prefix a value with `s:` to force it to stay a string (e.g. `s:42`).
+    """
+    if token.startswith("s:"):
+        return token[2:]
+    low = token.lower()
+    if low == "true":
+        return True
+    if low == "false":
+        return False
+    try:
+        return int(token)
+    except ValueError:
+        return token
+
+
+def run_call(
+    function_name: str,
+    args: Optional[List[str]] = None,
+    contract: Optional[str] = None,
+    network: Optional[str] = None,
+    send: bool = False,
+    wallet_path: str = DEFAULT_WALLET_PATH,
+    passphrase: Optional[str] = None,
+) -> Any:
+    from mycelium_sdk import AgentContext
+
+    network = network or get_value("onchain", "network", "testnet")
+    contract = contract or get_value("onchain", "contract_id")
+    if not contract:
+        print(
+            "Error: no contract id. Pass --contract C..., or run inside a project "
+            "whose mycelium.toml has [onchain].contract_id (after `mycelium deploy`)."
+        )
+        sys.exit(1)
+
+    parsed = [_parse_arg(a) for a in (args or [])]
+
+    if send:
+        import os
+
+        if not os.path.exists(wallet_path):
+            print(f"Error: wallet {wallet_path} not found. Run `mycelium newwallet` first.")
+            sys.exit(1)
+        context = AgentContext(
+            keypair_path=wallet_path, network_type=network, passphrase=passphrase
+        )
+    else:
+        context = AgentContext.read_only(network_type=network)
+
+    print(
+        f"[call] {function_name}({', '.join(map(repr, parsed))}) on {contract} "
+        f"({'send' if send else 'read-only'})..."
+    )
+    try:
+        result = context.call_contract(
+            contract, function_name, parsed, read_only=not send
+        )
+    except Exception as e:
+        print(f"❌ Call failed: {e}")
+        sys.exit(1)
+
+    if send:
+        # call_contract returns a TxResult for state-changing calls.
+        tx_hash = getattr(result, "hash", None)
+        ret = getattr(result, "return_value", result)
+        print(f"✓ Submitted. Tx: {tx_hash}")
+        print(f"  return: {ret}")
+    else:
+        print(f"✓ {result}")
+    return result

mycelium_cli-0.1.0/mycelium_cli/commands/check.py

@@ -0,0 +1,21 @@
+import os
+import sys
+from mycelium_compiler.parser import parse_source
+from mycelium_compiler.validator import validate_ast
+
+def run_check(file_path: str):
+    print(f"Checking AST rules and type constraints for: {file_path}")
+    if not os.path.exists(file_path):
+        print(f"Error: File {file_path} not found.")
+        sys.exit(1)
+        
+    with open(file_path, "r") as f:
+        source_code = f.read()
+        
+    try:
+        visitor = parse_source(source_code)
+        validate_ast(visitor)
+        print("✓ All validation checks passed successfully!")
+    except Exception as e:
+        print(f"❌ Validation failed: {e}")
+        sys.exit(1)