clawhub
@willamhou
公开技能 4 个
按 arXiv ID 获取论文 LaTeX 源码、章节或摘要
面向学术场景的形式化验证工具，可调用本地Lean4/Coq/Z3，检查证明、求解SMT问题。
LaTeX编译工具，支持多引擎与模板，能将LaTeX源码转为PDF，需依赖指定编译服务器。
基于Hugging Face Papers API，可浏览趋势论文、搜索及获取详情与评论。
