docs: Fix flag name from --mcp-port to --server

The clean PR branch is based on upstream/dev-agents (PR crytic#1502) which uses
the '--server' flag name. Documentation was written for the development
branch which used '--mcp-port', causing inconsistency.

Changes:
- AGENT_TESTING_GUIDE.md: Update all command examples
- test-mcp-client.py: Fix error message
- examples/README.md: Update all 3 command examples
- examples/simple_agent.py: Fix error message
- examples/langgraph_agent.py: Fix error message
- tests/mcp/conftest.py: Fix pytest fixture command
- .gitignore: Add Python cache patterns

This ensures documentation matches the actual upstream implementation.

Author: datradito

.gitignore

@@ -29,14 +29,6 @@ echidna-*.log
 # External C++ dependencies (build artifacts)
 libff/
 
-# Internal planning and status documents
-MCP_IMPLEMENTATION_STATUS.md
-*_REPORT.md
-*_SUMMARY.md
-*_ANALYSIS.md
-PR_FILES_REVIEW.md
-prepare-pr.sh
-cleanup-history.sh
-
-# Speckit files (use stash to restore - see .speckit-instructions.md)
-.speckit-instructions.md
+# Python cache files
+**/__pycache__/
+**/*.pyc

AGENT_TESTING_GUIDE.md

@@ -17,7 +17,7 @@ cd /Users/daniel.a.tradito/Development/Audit/echidna-mcp
 
 # Start Echidna with MCP server (background)
 ~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol \
-  --mcp-port 8080 \
+  --server 8080 \
   --test-limit 1000000 &
 
 # Wait for startup
@@ -213,7 +213,7 @@ mkdir -p corpus
 
 # Start Echidna with corpus dir
 ~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol \
-  --mcp-port 8080 \
+  --server 8080 \
   --corpus-dir ./corpus \
   --test-limit 1000000 &
 
@@ -314,7 +314,7 @@ You should see:
 **Common issues:**
 1. **Wrong endpoint**: Use `/mcp` path → `http://localhost:8080/mcp`
 2. **Test limit reached**: Echidna exits when fuzzing completes
-3. **Wrong flag**: Use `--mcp-port` not `--server`
+3. **Correct flag**: Use `--server 8080` to enable MCP server
 
 ### Command log not created?
 

examples/README.md

@@ -24,7 +24,7 @@ source ../.venv/bin/activate
 ```bash
 # Start Echidna first
 cd ..
-~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol --mcp-port 8080 --test-limit 1000000 &
+~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol --server 8080 --test-limit 1000000 &
 
 # Run agent
 source .venv/bin/activate
@@ -58,7 +58,7 @@ export ANTHROPIC_API_KEY=your_key_here
 ```bash
 # Start Echidna first
 cd ..
-~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol --mcp-port 8080 --test-limit 1000000 &
+~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol --server 8080 --test-limit 1000000 &
 
 # Run agent
 python examples/langgraph_agent.py
@@ -79,7 +79,7 @@ python examples/langgraph_agent.py
 ```bash
 # Terminal 1: Start Echidna
 cd /Users/daniel.a.tradito/Development/Audit/echidna-mcp
-~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol --mcp-port 8080 --test-limit 1000000 &
+~/.local/bin/echidna tests/mcp/contracts/EchidnaMCPTest.sol --server 8080 --test-limit 1000000 &
 
 # Terminal 2: Run simple agent
 source .venv/bin/activate

examples/langgraph_agent.py

@@ -267,7 +267,7 @@ def main():
         status = agent._call_mcp_tool("status")
         if "error" in status:
             print("❌ Cannot connect to Echidna MCP server")
-            print("   Make sure Echidna is running with --mcp-port 8080")
+            print("   Make sure Echidna is running with --server 8080")
             return
         print("✅ Connected to Echidna MCP server\n")
     except Exception as e:

examples/simple_agent.py

@@ -196,7 +196,7 @@ def main():
     status = agent.get_status()
     if not status:
         print("❌ Cannot connect to Echidna MCP server")
-        print("   Make sure Echidna is running with --mcp-port 8080")
+        print("   Make sure Echidna is running with --server 8080")
         sys.exit(1)
 
     print("✅ Connected to Echidna MCP server")

test-mcp-client.py

@@ -34,7 +34,7 @@ def call_mcp_tool(tool_name: str, arguments: dict = None) -> dict:
         return response.json()
     except httpx.ConnectError:
         print(f"❌ Cannot connect to MCP server on port {MCP_PORT}")
-        print(f"   Make sure Echidna is running with --mcp-port {MCP_PORT}")
+        print(f"   Make sure Echidna is running with --server {MCP_PORT}")
         sys.exit(1)
     except Exception as e:
         print(f"❌ Error calling {tool_name}: {e}")

tests/mcp/conftest.py

@@ -148,7 +148,7 @@ def test_with_campaign(echidna_campaign_running):
     cmd = [
         'echidna-test',
         contract_path,
-        '--mcp-port', str(port),
+        '--server', str(port),
         '--test-mode', 'assertion',
         '--test-limit', '1000'
     ]