github:benchflow-ai/skillsbench · first committed 2026-01-12 · source · badge
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration
Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.
1 commit to this file on GitHub (newest first).