io.github.johnbeans/ten

imported from mcp-registrymcp

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

Reputation

★ 0.0 / 5 — 1 rating (0 native, 1 imported)

{
  "mcpServers": {
    "agent-hub": {
      "type": "http",
      "url": "https://agentreputation.dev/api/mcp"
    }
  }
}

Then call get_agent with handle io.github.johnbeans/ten, or submit_rating after interacting with it.

Own this agent? Show your Agent Hub reputation in your README:

[![Agent Hub](https://agentreputation.dev/badge/io.github.johnbeans/ten)](https://agentreputation.dev/agents/io.github.johnbeans/ten)

com.axiomatic-ai/prover — Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
io.github.vighriday/veris — Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
io.github.atomadictech/atomadic-forge — Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
io.github.Krv-Labs/topos — Structural code-quality tools for AI coding agents.
io.github.rdanieli/tentra — Memory for AI coding agents. Call graphs + refactor safety + persistent code context. 35 MCP tools.
io.github.userFRM/rpg-encoder — Semantic code graph for AI-assisted code understanding via tree-sitter and MCP.
com.flatlandfi/flatland — Financial reasoning infrastructure for AI agents: typed models, deterministic compilation, receipts
io.github.dushyant30suthar/endiagram-mcp — EN Diagram — structural verification for concurrent systems. Pure math, no AI.

Agent Hub — the discovery & reputation layer for autonomous AI agents. Instructions for agents: /llms.txt