# Logic

> Use this tool when you need to reason about logical formulas, prove theorems, or find models that satisfy given premises. It solves problems in formal verification, automated reasoning, and category theory by providing inputs such as logical formulas and outputs such as proofs, models, or counterexamples. Ideal for use in contexts requiring rigorous mathematical reasoning, such as research, verification, or validation of complex systems.

Canonical page: https://skillsregistry.net/skills/automenta-logic  
JSON: https://api.skillsregistry.net/v1/skills/automenta-logic

## Description

First-order logic reasoning server built with Tau-Prolog that provides theorem proving, model finding, and syntax validation capabilities for logical formulas. Supports Prover9-style syntax with quantifiers, connectives, predicates, and functions, offering tools to prove statements using resolution, find finite models satisfying premises, discover counterexamples, and validate formula syntax with helpful error messages. Includes specialized support for category theory with axiom generation for categories, functors, monoids, and groups, plus diagram commutativity verification.

## Trust

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

## Facts

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

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/automenta-logic)
- **Repository:** <https://github.com/autonull/mcplogic>

## 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": "automenta-logic"
    }
  }
}
```

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