# Roc DateTime

> Use this tool when you need to retrieve the current datetime in ISO 8601 format, solving problems such as timestamping events or scheduling tasks. It provides a simple JSON-RPC interface over stdin/stdout, accepting requests and returning the current datetime as output. Use Roc DateTime in contexts where a lightweight, easily extensible datetime service is required, such as in development or testing environments.

Canonical page: https://skillsregistry.net/skills/roc-datetime  
JSON: https://api.skillsregistry.net/v1/skills/roc-datetime

## Description

This MCP server provides AI assistants with current datetime functionality through a simple proof-of-concept implementation built using the Roc programming language with JSON-RPC communication over stdin/stdout. The implementation offers a single tool for retrieving the current datetime in ISO 8601 format, featuring a complete MCP protocol handshake with initialization, tool discovery, and execution phases, along with colored stderr logging for debugging. Built as a demonstration of MCP server development in Roc with manual JSON formatting and basic error handling, it serves developers exploring functional programming approaches to MCP server implementation and teams needing a minimal datetime service that can be easily extended with additional time-related utilities.

## Trust

- **Trust score (0–1):** 1.00
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** monitoring
- **Updated:** 2026-09-28

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/roc-datetime)
- **Repository:** <https://github.com/imclerran/roc-mcp-testbed>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "roc-datetime"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/roc-datetime` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/roc-datetime/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt
