typesafe-ai/skills plugin for Grok Build

Name: typesafe-ai/skills
Author: typesafe-ai

Community Claude Code plugin, installs in GrokPluginDevelopment

Agent skills for building with TypeSafe's System One API

How to install typesafe-ai/skills in Grok Build

grok plugin install typesafe-ai/skills --trust

✓ Install-checked in Grok Buildchecked Oct 18, 2026 proof

Review before you trust it. --trust lets this plugin's hooks, MCP servers and scripts run code on your computer. It's a community repo that neither xAI nor GrokStacks has reviewed, so read its code first.

We install this repo directly: Grok Build 1.0.62 can't install it through its own marketplace file. Then start a new Grok session, or press r in /plugins, to load it.

Command format: Grok Build's plugin guide

What we checked: on Oct 18, 2026 it installed with grok 1.0.62 and Grok found 1 skill. That's an install check only: we haven't run it in a live Grok session.

What it contains

Skills (1)

typesafe-ai — Build AI-powered software with TypeSafe: small units of AI intelligence you can use like programming primitives. Its System One models, including Jev, turn natural language and application state into typed judgments and probabilities that c

About this listing

typesafe-ai/skills is a community plugin on GitHub by typesafe-ai, written as a Claude Code plugin that Grok Build installs. We install-checked it in Grok; we haven't run it in a live session or reviewed its code. When we installed it, Grok found 1 skill. Its license is MIT. We checked commit 65a39f393687. It's one of 409 listings in the Development category on GrokStacks.

typesafe-ai/skills FAQ

How do I install typesafe-ai/skills in Grok Build?

Run grok plugin install typesafe-ai/skills --trust. We install-checked this command in Grok Build. We install this repo directly: Grok Build 1.0.62 can't install it through its own marketplace file. Then start a new Grok session, or press r in /plugins, to load it.

Is typesafe-ai/skills an official Grok Build plugin?

No. typesafe-ai/skills is a community plugin on GitHub by typesafe-ai, not in xAI's official Grok Build marketplace. We checked that it installs and what Grok loads from it, but haven't run it in a live Grok session or reviewed its code.

What does typesafe-ai/skills include?

According to what Grok loaded in our install check, typesafe-ai/skills includes 1 skill: typesafe-ai.

Details

Type: Plugin
Category: Development
Source: Community Claude Code plugin, installs in Grok
License: MIT
Author: typesafe-ai
Version: 0.5.7
Source repo: https://github.com/typesafe-ai/skills
Checked commit: 65a39f393687
Homepage: https://typesafe.ai
Checked by GrokStacks: Install-checked in Grok Build on Oct 18, 2026; not run in a live session

Something wrong or missing? Submit or improve this listing. Marketplace listings also refresh automatically every night.

For maintainers: badge and embeds

Maintain typesafe-ai/skills? Add the badge; it links to this page.

Markdown

[![Listed on GrokStacks](https://grokstacks.com/badge.svg)](https://grokstacks.com/p/typesafe-ai-skills/)

HTML

<a href="https://grokstacks.com/p/typesafe-ai-skills/"><img src="https://grokstacks.com/badge.svg" alt="Listed on GrokStacks" width="164" height="28"></a>

Embed card (static HTML and inline CSS, no JavaScript). Preview:

typesafe-ai/skillsCommunity plugin for Grok Build · 1 skillAgent skills for building with TypeSafe's System One APIView on GrokStacks →

<a href="https://grokstacks.com/p/typesafe-ai-skills/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #2a2e3c;border-radius:12px;background:#0a0b0f;color:#e8eaf0;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#e8eaf0">typesafe-ai/skills</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#9aa0b1">Community plugin for Grok Build · 1 skill</span><span style="display:block;margin:0 0 10px;color:#c9cdd8">Agent skills for building with TypeSafe&#x27;s System One API</span><span style="font-size:12px;font-weight:600;color:#7c9cff">View on GrokStacks →</span></a>

Markdown summary

**[typesafe-ai/skills on GrokStacks](https://grokstacks.com/p/typesafe-ai-skills/)**: Community plugin for Grok Build with 1 skill. Install: `grok plugin install typesafe-ai/skills --trust`

More on badges, embeds and keeping your listing up to date: GrokStacks for plugin authors.

Also in Development

Abap2UI5

Build UI5 Apps Purely in ABAP

Community Claude Code plugin, installs in GrokPluginDevelopment

Accessibility Agents

Accessibility review agents for Claude Code, GitHub Copilot, and Claude Desktop. Eleven specialists that enforce WCAG 2.2 AA compliance so AI coding tools stop generating inaccessible code.

Community Claude Code plugin, installs in GrokPluginDevelopment