MSVC Compiler

windows:
  host: "10.0.0.152"
  port: 22
  user: "keys"
  key_path: "~/.ssh/win"
  
  compiler:
    type: "msvc"
    vcvars_path: "C:\\Program Files\\Microsoft Visual Studio\\2022\\BuildTools\\VC\\Auxiliary\\Build\\vcvars64.bat"

from malagent.verifiers import JointVerifier

verifier = JointVerifier(
    win_host="10.0.0.152",
    win_user="keys",
    win_key="~/.ssh/win",
    vcvars_path="C:\\Program Files\\Microsoft Visual Studio\\2022\\BuildTools\\VC\\Auxiliary\\Build\\vcvars64.bat",
    timeout=30,
    # New features
    enable_lint=True,
    track_metrics=True,
    binary_cache_dir="./binary_cache"
)

verifier = JointVerifier(
    enable_lint=True  # Default
)

verifier = JointVerifier(
    track_metrics=True,
    log_failed_samples=True  # Store failed samples
)

# After training
verifier.print_stats()
# Output:
# Verifier Statistics
# ====================
# Total verifications: 1000
# Format failures: 50 (5.0%)
# Compilation failures: 350 (35.0%)
# Evaded: 600 (60.0%)
#
# Metrics:
#   Avg compile time: 2.34s
#   Lint failures: 45
#   Time saved by lint: 105.3s
#   Top errors:
#     C2065: 89
#     C2143: 45
#     C2059: 23

verifier = JointVerifier(
    binary_cache_dir="./binary_cache"
)

result = verifier.verify(prompt, completion)
if result.success:
    # Binary is cached locally at:
    print(result.metadata['binary_path'])
    # ./binary_cache/a3f2c8b1d4e5.exe

from malagent.verifiers import JointVerifier

verifier = JointVerifier(config_path="configs/windows_connection.yaml")
result = verifier.verify(prompt, completion)
print(f"Compiled: {result.success}, Reward: {result.reward}")

results = verifier.verify_batch(
    completions=[code1, code2, code3],
    prompts=[prompt1, prompt2, prompt3]
)

for result in results:
    print(f"Reward: {result.reward}")

# Single file verification
malagent verify --code sample.cpp

# RAFT training with MSVC
malagent raft train --mode mvr --language msvc