Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • 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
MEHDI RIDA's picture

MEHDI RIDA PRO

RDS777
https://github.com/nexuslab3
  • RDS54
  • nexuslab3
  • RDS

AI & ML interests

LAMA3

Recent Activity

updated a Space 5 days ago
RDS777/smt
published a Space 6 days ago
RDS777/smt
updated a Space 10 days ago
RDS777/Virtus
View all activity

Organizations

None yet

buckets 1

RDS777/Virtus-storage

147 GB

spaces 6

Build error

AETHER-SMT

🧮

Verify SMT-LIB constraints for satisfiability

5 days ago
Runtime error

VERTUS + ATYPIK

🧠

Generate improved code with self‑refining AI

9 days ago
Runtime error

EVIDENCE v23.0

🤖

Access secure ATYPIK documentation with authentication

17 days ago
Sleeping

Atypique Api

🌍

Check AI system health and component status

Jul 1
Configuration error
Agents

VORTEX v4.0

🚀

Orchestrate AI tasks, run sandbox code, search memory, scrape web

Jun 22
Build error
Agents

vortex_god

🚀

Jun 16

models 0

None public yet

datasets 0

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs