Skip to skills
AI Craft Pad
Menu
Home/Skills/Plugins/math-proof
Plugins

math-proof

Explore math-proof as an agent plugin package for productivity & planning. Review its supported format, bundled components and setup requirements before installing.

anthropics/claude-plugins-official ↗License: Apache-2.0Runtime safety: UnknownScore: 75/100

What it does

Explore math-proof as an agent plugin package for productivity & planning. Review its supported format, bundled components and setup requirements before installing.

Best for

A user who can review the publisher setup and validate this capability on a small, reversible task. This is a metadata listing; a detailed use-case review is not yet available.

Compatibility

claude-code

Publisher manifest for claude-code; runtime behavior not tested

Compatibility source

Installation and requirements

Review the publisher setup, permissions, credentials and service costs before use.

Open the pinned package below and follow its publisher instructions for your agent. A Skills installer is not a universal plugin installer. Review hooks, bundled MCP connections, permissions and configuration before enabling the package.

Detected formats

  • .claude-plugin/plugin.json — plugins/math-proof/.claude-plugin/plugin.json

Bundled components

Skills Declared
No
Mcp Declared
No
Hooks Declared
No
Skills Present
Yes
Mcp Config Present
No
Hooks Present
No
Apps Declared
No

Presence is a static file/manifest observation. A missing declaration does not prove the component is absent at runtime.

Read publisher setup ↗

Unknown; source software and connected services may have separate terms.

Safety and permissions

Unknown — no runtime security assessment.

Only sanitized manifest/registry metadata and bounded documentation are inspected. Package code, transitive dependencies, hooks and remote services have not been audited. Review access before use.

    Related Skills

    Category-based discovery suggestions. Review functional overlap; these combinations have not been integration-tested.

    Productivity & planning86/100

    slack gif creator

    anthropics/skills

    A frame-by-frame GIF creation workflow for lightweight workplace animations, with explicit export and validation steps.

    First-party sourceComplete terms in LICENSE.txtEditorial review

    Repository star change: +586 over 26.7 hours. 2026-11-01

    186,004 repo stars1 text flagReview ↗
    Productivity & planning86/100

    gh review requests

    getsentry/skills

    A GitHub review-queue helper that filters unread review requests and team-authored pull requests.

    First-party sourceApache-2.0Editorial review

    Repository star change: +3 over 26.7 hours. 2026-11-01

    1,105 repo stars2 text flagsReview ↗
    Productivity & planning86/100

    pr link issue

    getsentry/skills

    A narrowly scoped PR-description helper for linking a GitHub issue and an optional Linear ticket.

    First-party sourceApache-2.0Editorial review

    Repository star change: +3 over 26.7 hours. 2026-11-01

    1,105 repo stars2 text flagsReview ↗

    Similar tools and alternatives

    Category-based discovery suggestions. Review functional overlap; these combinations have not been integration-tested.

    Productivity & planning75/100

    explanatory output style

    anthropics/claude-plugins-official · Plugin

    Explore explanatory-output-style as an agent plugin package for productivity & planning. Review its supported format, bundled components and setup requirements before installing.

    Manifest metadataApache-2.0
    45,633 repo stars1 metadata flagReview ↗
    Productivity & planning75/100

    hookify

    anthropics/claude-plugins-official · Plugin

    Explore hookify as an agent plugin package for productivity & planning. Review its supported format, bundled components and setup requirements before installing.

    Manifest metadataApache-2.0
    45,633 repo stars1 metadata flagReview ↗
    Productivity & planning75/100

    andreessen

    alirezarezvani/claude-skills · Plugin

    Explore andreessen as an agent plugin package for productivity & planning. Review its supported format, bundled components and setup requirements before installing.

    Manifest metadataMIT
    29,099 repo stars1 metadata flagReview ↗

    Related MCP Servers

    Category-based discovery suggestions. Review functional overlap; these combinations have not been integration-tested.

    Productivity & planning71/100

    bettermemory

    0Mattias/bettermemory · MCP server

    Explore bettermemory as an MCP connection for productivity & planning. Compare the declared transport, package requirements and source evidence before connecting an agent.

    Registry metadataMIT
    0 repo stars1 metadata flagReview ↗
    Productivity & planning71/100

    Bot Bridge CC Helper

    1019666077-bit/botbridge-cc-helper-vscode · MCP server

    Explore Bot Bridge CC Helper as an MCP connection for productivity & planning. Compare the declared transport, package requirements and source evidence before connecting an agent.

    Registry metadataMIT
    0 repo stars1 metadata flagReview ↗
    Productivity & planning71/100

    TweetFeed

    0xDanielLopez/tweetfeed-mcp · MCP server

    Explore TweetFeed as an MCP connection for productivity & planning. Compare the declared transport, package requirements and source evidence before connecting an agent.

    Registry metadataMIT
    0 repo stars1 metadata flagReview ↗

    Works well with

    Choose a complementary capability only after checking for duplicated permissions and bundled connections. Agent Stacks explain the roles and validation steps; they are proposals, not tested integrations.

    Build a stack for your task · Related AI guides · Report a correction