# acorn-prover

> acorn-prover — flyingnobita-acorn-prover. Use this tool when you need to verify mathematical and cryptographic formalizations, and generate proofs for complex theorems. The acorn-prover takes in formalized mathematical and cryptographic statements as input and outputs verified proofs, solving problems related to formal verification and proof validation. It is ideal for use cases requiring rigorous mathematical verification, such as cryptographic protocol validation and formal proof development.

Canonical page: https://skillsregistry.net/skills/flyingnobita-acorn-prover  
JSON: https://api.skillsregistry.net/v1/skills/flyingnobita-acorn-prover

## Description

Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization.

## Trust

- **Trust score (0–1):** 0.65
- **Verification tier:** scanned
- **Last scanned:** 2026-05-20

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** instructions
- **Runtime environment:** llm
- **Category:** finance
- **Updated:** 2026-09-16

## Source

- **Source listing:** [ClawHub](https://clawskills.sh/skills/flyingnobita-acorn-prover)

## 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": "flyingnobita-acorn-prover"
    }
  }
}
```

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