Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Spaces:
96kevinli29
/
mathagent
Sleeping

App Files Files Community
Fetching metadata from the HF Docker repository...
mathagent / workspace
4.68 kB
Ctrl+K
Ctrl+K
  • 2 contributors
History: 5 commits
96kevinli29
Claude Opus 4.8
Stream stall watchdog: cut half-open model connections, keep partial output
992c412 4 months ago
  • memory
    Stream stall watchdog: cut half-open model connections, keep partial output 4 months ago
  • prompts
    mathagent: end-to-end math problem-solving / proof agent on A-Evolve 4 months ago
  • skills
    mathagent: end-to-end math problem-solving / proof agent on A-Evolve 4 months ago
  • tools
    mathagent: end-to-end math problem-solving / proof agent on A-Evolve 4 months ago
  • manifest.yaml
    177 Bytes
    mathagent: end-to-end math problem-solving / proof agent on A-Evolve 4 months ago