introspector/meta-meme

该数据集包含2177个从Meta-Meme形式验证系统生成的咨询URL。每个URL代表与9个AI缪斯之一关于仓库中特定文件的咨询。数据集的结构包括文件路径、AI缪斯（Calliope、Clio、Erato、Euterpe、Melpomene、Polyhymnia、Terpsichore、Thalia、Urania）、咨询工具（llm、lean4、rustc、minizinc）、URL、内容预览（文件内容的前200个字符）、文件大小（字节）和文件扩展名。每个AI缪斯有特定的角色和专长领域，例如Urania专注于数学和Lean4证明，Calliope专注于史诗代码和Python等。

This dataset contains 2177 consultation URLs generated from the Meta-Meme formally verified system. Each URL represents a consultation with one of 9 AI muses about a specific file in the repository. The dataset structure includes file path, assigned AI muse (Calliope, Clio, Erato, Euterpe, Melpomene, Polyhymnia, Terpsichore, Thalia, Urania), consultation tool (llm, lean4, rustc, minizinc), URL, content preview (first 200 characters of file content), file size in bytes, and file extension. Each muse has a specific role and expertise area, such as Urania for mathematics and Lean4 proofs, Calliope for epic code and Python, etc.