Development Roadmap

This page documents the development roadmap and planned features for Lean Server.

• Custom Mathlib Support in Docker
  • Support for using custom mathlib versions within Docker containers
  • This would allow users to specify different Mathlib versions for their proofs without rebuilding the entire Docker image
  • Currently, the server uses a fixed Mathlib version ( v4.22.0-rc4) bundled in the Docker image
• Support gRPC Communication (#38)
• config.yaml file support for Docker server
• Lean Output Result Processing
  • Parse related results
  • Support proof simplification
• Data Export Capabilities
  • Hugging Face Datasets
  • JSON / JSONL
  • CSV
  • Excel
  • Parquet
  • Arrow
• Data Visualization
• Docker Layer Optimization
  • Optimize Docker image layering to make docker pull operations faster
  • This will reduce download time when updating to newer versions of the server
  • Current users need to pull the entire image even for small updates