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
12
13
14
15
16

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://github.com/your-handle/lean-agent-rs/schemas/eval_task.schema.json",
  "title": "Lean Agent Eval Task",
  "type": "object",
  "required": ["task_id", "file", "declaration", "prompt"],
  "properties": {
    "task_id": { "type": "string" },
    "file": { "type": "string" },
    "declaration": { "type": "string" },
    "prompt": { "type": "string" },
    "expected_status": { "enum": ["passed", "failed"] },
    "metadata": { "type": "object" }
  },
  "additionalProperties": false
}