lmfdb-cli
Installation
SKILL.md
Querying LMFDB for Mathematical Verification
Use lmfdb CLI to look up concrete examples and verify results against the LMFDB database.
Installation
brew tap frankieew/tap && brew install lmfdb-cli
# or build from source: go build -o lmfdb ./cmd/lmfdb
Number Fields (nf)
Quick Reference
lmfdb nf [options]
Related skills
More from frankieew/agent-skills
pr-worktree-workflow
Complete workflow for creating git worktrees and Pull Requests, including worktree setup, branch management, and PR creation.
11mathlib-workflow
Complete workflow for contributing to mathlib (Lean 4), including repo setup, git workflow, PR creation, and review process.
6tmux
>
4mathlib-style
Code style guide for mathlib (Lean 4), including naming conventions, formatting rules, and documentation requirements.
4code-rules
Use when writing code, to follow personal code style and ensure documentation is consistent.
3ssh
>
1