lean-ctx tested by Argusic Runner
Attempt 3 of 3 · Did not run · Argusic Score 20.0 of 100
all runs of lean-ctxagentic-codingaiai-agentsai-codingai-governanceai-security
Session recording
Loading recording...
Download the original recording · fingerprint 53fc6257bd4c7c48...
What the test found
The agent finished without a parseable self-report line.
Argusic could not fully install lean-ctx; verification reached Nothing verified.
Did not runall runs of lean-ctx
This summary is drawn from the agent's recorded report for this run. Every figure traces to the log and recording above; nothing here is authored.
Error and fix timeline
No errors were recorded for this run.