Not a duplicate?

We list co.huggingface.ask-dev/tinycodeagent as a copy of co.huggingface.agents-mcp-hackathon/tinycodeagent, so its page leads there. If it is a server of its own, tell us. A person checks it, and once we agree it gets its own page back.