lean-agent-core 0.2.0

Core library for tracing Lean 4 diagnostics and evaluating Lean theorem-proving agents.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://github.com/your-handle/lean-agent-rs/schemas/trace_record.schema.json",
  "title": "Lean Agent Trace Record",
  "type": "object",
  "required": ["record_type"],
  "properties": {
    "record_type": { "enum": ["file_trace"] }
  },
  "additionalProperties": true
}