Skills MCP servers Plugins Agent clients Free tools Digest Advertise

Featured partners

AAgentStackSubmit a tool →AAgentStack DigestGet the digest →AAgentStack SponsorsAdvertise here →BBuild in publicSubmit a tool →AAgentStackSubmit a tool →AAgentStack DigestGet the digest →AAgentStack SponsorsAdvertise here →BBuild in publicSubmit a tool →

Partner placements

AgentStack

Add your tool to the directory

Submit a tool →From AgentStack

AgentStack Digest

One useful agent-tools email each week.

Get the digest →From AgentStack

Build in public

List your skill, MCP server, or plugin for free.

Submit a tool →

Sponsored placements

AgentStack Digest

One useful email per week

Get the digest →From AgentStack

AgentStack Digest

One useful agent-tools email each week.

Get the digest →From AgentStack

Build in public

List your skill, MCP server, or plugin for free.

Submit a tool →

Built with AgentStack

AAgentStackSubmit a tool →AAgentStack DigestGet the digest →AAgentStack SponsorsAdvertise here →BBuild in publicSubmit a tool →AAgentStackSubmit a tool →AAgentStack DigestGet the digest →AAgentStack SponsorsAdvertise here →BBuild in publicSubmit a tool →

The AgentStack digest

Useful agent tooling, once a week.

New skills, MCP servers, plugins, and practical picks—no account required.

A source-linked directory for AI agent skills, MCP servers, plugins, and compatible agent clients.

Independent directory. Always review third-party tooling and permissions before installation.

Explore

Skills
MCP servers
Plugins
Marketplaces
Free tools
Directory API
Fresh tools

Build with AgentStack

Agent clients
Submit a tool
Advertise
Digest

© 2026 AgentStackBuilt for people building better agents.

prover — MCP server | AgentStack

MCP servers/prover

p

MCP server Indexed source

prover

com.axiomatic-ai/prover

Popularity

0

Forks

—

Quality

In review

Freshness

Synced today

What it does

Source-backed agent tooling.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

MCP connection profile

Protocol

Model Context Protocol

Purpose

Connects external capabilities to an MCP client.

Keep exploring

Related MCP servers

More options in Automation.

mcp

n8n

n8n-io

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

mcp

yahoo-finance2

Works with

Claude Code · Codex · MCP clients

Agent compatibility

Compatibility has not been reviewed for this listing yet. Check the publisher documentation before installing.

Server setup

Connect this MCP server

Installation command not captured yet

Check the project’s source documentation for the current setup steps.

Use the configuration and transport documented by the server publisher; MCP setup differs between clients.

Best fit

prover is organized in the Uncategorized category. Compare its source, install method, and compatibility before adding it to your workflow.

Before you install

Third-party agent tools may access source code, credentials, or browser sessions. Read the source documentation and use the minimum permissions needed.

Listing type

MCP server

Source

GitHub source

Record health

Synced today

Latest version

0.1.0

Know this tool?

Help keep this record useful by submitting an update or correction.

Suggest an update →

Community listing

JS API for Yahoo Finance

198KOpen →

mcp

agent-device

Community listing

Agent-native CLI for AI app automation across iOS, Android, tvOS, Android TV, macOS, Linux, and web.

mcp

gemini-cli

google-gemini

An open-source AI agent that brings the power of Gemini directly into your terminal.