<< Back to proof-trace-summarizer

arabelatso/skills-4-se/proof-trace-summarizerskill versions

2 skill versions publishedCompare skill versions
──Skill Version History
v1.0.1currentAutomated scan100/100patch28d ago
1 files
sha256:24937c5a58d5
v1.0.0LLM-judged scan7mo ago
sha256:e3b0c44298fc