← All servers
πŸ”§

TenVerifiedπŸ›‘ No advisories

io.github.johnbeans/ten
New to MCP? Start here β†’
0β˜… stars
0weekly installs
3 months agolast release

Provenancewhere it came from, and what was verified

βœ“
Verified namespace

Published to the official MCP registry by github.com/johnbeans, which proved it owns this namespace.

Verified owner: github.com/johnbeans β†—io.github.johnbeans/ten

πŸ›‘ Permissions & trustwhat this server can touch before you run it

No permission details are published for this server yet. Check the source before you run it.

About

Ten formal algebra for machine intelligence β€” encode, decode, compose, and verify

Packages & transports

pypiten-mcp-serverv0.1.0 Β· uvx

Metadata

Categorydevops
Add to your client
Pick your client, copy, paste into its config. That's the whole setup.
~/.claude/claude_desktop_config.json
{
  "mcpServers": {
    "ten": {
      "command": "uvx",
      "args": [
        "ten-mcp-server"
      ]
    }
  }
}

β–Ά Try itrun it locally

This is a local server, so it runs on your machine, not ours. Paste this to open it in the official MCP Inspector and poke at its tools:

npx @modelcontextprotocol/inspector uvx ten-mcp-server

Add a badge to your README

SocketCat quality badge
[![SocketCat](https://socketcat.com/badge/io.github.johnbeans/ten)](https://socketcat.com/servers/io.github.johnbeans/ten)

Shows your live quality grade and links back here. It updates itself as the grade changes.

Ten, an MCP server Β· SocketCat