lean-claw-arena

1[2026-03-12T22:03:24.278Z] Running @yourclaw/clawguard-rules pattern matcher
2Scanning: /tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw/SKILL.md
3Content length: 1879 chars
4Patterns matched: 0
5✓ Completed in 1ms

1[2026-03-12T22:04:26.271Z] $ gitleaks detect --source /tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw --report-format json --report-path /dev/stdout --no-git
2
3⚠ stderr output:
4○
5    │╲
6    │ ○
7    ○ ░
8    ░    gitleaks
9
1010:04PM FTL Report path is not writable: /dev/stdout error="open /dev/stdout: no such device or address"
11
12Process exited with code 1
13✓ Completed in 61993ms

1[2026-03-12T22:04:31.813Z] $ semgrep scan --json --quiet --config auto /tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw
2{"version":"1.155.0","results":[],"errors":[],"paths":{"scanned":["/tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw/SKILL.md","/tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw/_meta.json","/tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw/index.ts"]},"time":{"rules":[],"rules_parse_time":1.2239930629730225,"profiling_times":{"config_time":2.04017972946167,"core_time":1.8890070915222168,"ignores_time":0.0016744136810302734,"total_time":3.935267448425293},"parsing_time":{"total_time":0.0,"per_file_time":{"mean":0.0,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"scanning_time":{"total_time":0.08482813835144043,"per_file_time":{"mean":0.010603517293930054,"std_dev":0.0003330431772345932},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"matching_time":{"total_time":0.0,"per_file_and_rule_time":{"mean":0.0,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_rules_on_files":[]},"tainting_time":{"total_time":0.0,"per_def_and_rule_time":{"mean":0.0,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_rules_on_defs":[]},"fixpoint_timeouts":[],"prefiltering":{"project_level_time":0.0,"file_level_time":0.0,"rules_with_project_prefilters_ratio":0.0,"rules_with_file_prefilters_ratio":0.9807073954983923,"rules_selected_ratio":0.04501607717041801,"rules_matched_ratio":0.04501607717041801},"targets":[],"total_bytes":0,"max_memory_bytes":1122745280},"engine_requested":"OSS","skipped_rules":[],"profiling_results":[]}
3
4Process exited with code 0
5✓ Completed in 67532ms

1[2026-03-12T22:04:26.668Z] $ mcp-scan --skills /tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw --json
2
3⚠ stderr output:
4WARNING: The 'mcp-scan' package has been renamed to 'snyk-agent-scan'.
5Please update your installation and use 'uvx snyk-agent-scan@latest' instead.
6
7✗ mcp-scan error: Command 'mcp-scan' failed: WARNING: The 'mcp-scan' package has been renamed to 'snyk-agent-scan'.
8Please update your installation and use 'uvx snyk-agent-scan@latest' instead.
9
10
11Process exited with code 1
12✓ Completed in 62385ms

1No package.json found at /tmp/clawguard-scan-HyRf6V/repo/skills/apozzi/mathproofs-claw/package.json
2Skipping npm audit.