# io.github.johnbeans/ten

> Use this tool when you need to encode, decode, compose, and verify formal algebra for machine intelligence applications. It solves problems related to mathematical expression manipulation and verification, enabling the creation of robust and reliable machine learning models. The tool accepts algebraic expressions as input and outputs verified and composed expressions, making it ideal for use cases requiring precise mathematical reasoning and validation.

Canonical page: https://skillsregistry.net/skills/io-github-johnbeans-ten  
JSON: https://api.skillsregistry.net/v1/skills/io-github-johnbeans-ten

## Description

Ten formal algebra for machine intelligence — encode, decode, compose, and verify

## Trust

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

## Facts

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

## Source

- **Source listing:** [MCP Registry](https://registry.modelcontextprotocol.io/v0/servers/io.github.johnbeans%2Ften)
- **Repository:** <https://github.com/johnbeans/Ten>

## 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": "io-github-johnbeans-ten"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/io-github-johnbeans-ten` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/io-github-johnbeans-ten/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