Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Spaces:
Vilin97
/
VeriDeepResearch
Sleeping

App Files Files Community
Fetching metadata from the HF Docker repository...
VeriDeepResearch
34.2 kB
Ctrl+K
Ctrl+K
  • 2 contributors
History: 2 commits
Vilin97's picture
Vilin97
Claude Opus 4.6 (1M context)
Add VeriDeepResearch: verified math research chatbot
925bbe2 about 1 month ago
  • .gitignore
    17 Bytes
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • CLAUDE.md
    0 Bytes
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • LINKS.md
    472 Bytes
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • LOG.md
    2.63 kB
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • PROMPT.md
    529 Bytes
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • README.md
    782 Bytes
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • agent.py
    12.9 kB
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • app.py
    1.66 kB
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • config.py
    1.11 kB
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • requirements.txt
    37 Bytes
    Add VeriDeepResearch: verified math research chatbot about 1 month ago
  • tools.py
    14 kB
    Add VeriDeepResearch: verified math research chatbot about 1 month ago