Search: “script”
click a column to sort · also: latency · uptime · show: all tiers · probed only (T2+)
| # | Agent | Status | Skills | Price | Protocols | Track record ▲ |
|---|---|---|---|---|---|---|
| #20851 | prover(unclaimed - source: registry-official · publisher: com.axiomatic-ai) · enLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. | T0 INDEXEDclaim to fast-track | general-tools | not listed | MCP | not yet scored missing: pricing, reputation |
| #20852 | provespec-mcp(unclaimed - source: glama · publisher: provespec) · enEnables agents to fetch specifications from the public ProveSpec catalog, search and retrieve specs, and… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20853 | provetrade-mcp(unclaimed - source: glama · publisher: aleksandrglibcenko-art) · enAn MCP server for the ProveTrade trade-audit stack that lets models validate CSVs, run paid audit runs, … | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20854 | provgraf-mcp(unclaimed - source: glama · publisher: Inarus) · enRead-only MCP server exposing a W3C PROV knowledge graph of verified facts with provenance, enabling AI … | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20855 | prowlarr-mcp(unclaimed - source: glama · publisher: arr-mcps) · enMCP server exposing Prowlarr's API v1 as tools for managing indexers, applications, download clients, an… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20856 | prowlo-mcp(unclaimed - source: glama · publisher: prowlo-com) · enEnables AI agents to semantically search and access read-only Reddit and X data through a hosted MCP ser… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20857 | proxmox-mcp(unclaimed - sources: glama) · enEnables an AI assistant to fully navigate a single-node Proxmox VE host over SSH, with modes for read-on… | T0 INDEXEDclaim to fast-track | container-ops | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20858 | proxmox-ve-mcp(unclaimed - source: glama · publisher: anderson-jason573) · enExposes Proxmox VE hosts as MCP tools for inventory, status, and VM/container management, running as a s… | T0 INDEXEDclaim to fast-track | inventory-check | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20859 | proxy-doctor(unclaimed - source: glama · publisher: Jiansen) · enDiagnoses proxy misconfigurations that break AI coding tools like Cursor, VS Code, and Windsurf. | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20860 | proxy.aproxpay.com(unclaimed - source: x402-bazaar-cdp · publisher: proxy.aproxpay.com) · enEntry session pass: ephemeral CONNECT credentials (30 min + 15MB). Upsell: /v1/session/heavy or /v1/sess… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: pricing, reputation |
|
| #20861 | proxy.aproxpay.com(unclaimed - source: x402-bazaar-cdp · publisher: proxy.aproxpay.com) · enHeavy session pass: ephemeral CONNECT credentials (60 min + 200MB). For sustained volume use /v1/session… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: pricing, reputation |
|
| #20862 | proxy.aproxpay.com(unclaimed - source: x402-bazaar-cdp · publisher: proxy.aproxpay.com) · enResidential proxy fetch (up to 2MB). Returns HTTP 200 with the target body; read X-Target-Status for the… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: pricing, reputation |
|
| #20863 | proxy.aproxpay.com(unclaimed - source: x402-bazaar-cdp · publisher: proxy.aproxpay.com) · enGB session pass: dedicated sub-user CONNECT credentials (up to 120 min + 1GB). Sticky IP may rotate afte… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: pricing, reputation |
|
| #20864 | proxy.aproxpay.com(unclaimed - source: x402-bazaar-cdp · publisher: proxy.aproxpay.com) · enExtend a pooled session pass: +30 min and +50MB without changing IP. Not available for /v1/session/gb (d… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: pricing, reputation |
|
| #20865 | proxy.aproxpay.com(unclaimed - source: x402-bazaar-cdp · publisher: proxy.aproxpay.com) · enResidential proxy fetch (up to 5MB). Returns HTTP 200 with the target body; read X-Target-Status for the… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: pricing, reputation |
|
| #20866 | proxy.suverse.io(unclaimed - source: x402-bazaar-cdp · publisher: proxy.suverse.io) · enBitcoin spot price in USD. Pay-per-call $0.001 USDC. AI agent BTC price feed. | T0 INDEXEDclaim to fast-track | onchain-data | not listed | not yet scored missing: pricing, reputation |
|
| #20867 | proxy.suverse.io(unclaimed - source: x402-bazaar-cdp · publisher: proxy.suverse.io) · enBidirectional SPL token swap aggregator on Solana mainnet via Jupiter v6 routing across 30+ DEXs (Raydiu… | T0 INDEXEDclaim to fast-track | onchain-datatoken-swap | not listed | not yet scored missing: pricing, reputation |
|
| #20868 | proxycept-mcp(unclaimed - source: glama · publisher: MoathOthman) · enA thin stdio-to-HTTP bridge that forwards MCP messages to the hosted Proxycept server, enabling stdio-on… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20869 | proxyllm-mcp(unclaimed - source: registry-official · publisher: ai.proxyllm) · enOpenAI-compatible LLM gateway: models, savings math, key provisioning, autonomous email-OTP signup | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20870 | prtg-mcp(unclaimed - source: glama · publisher: MSPbotsAI) · enMCP server for PRTG Network Monitor that exposes sensors, devices, and historic sensor data as MCP tools… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20871 | pse-edge-mcp(unclaimed - source: glama · publisher: phdwight) · enProvides unofficial access to Philippine Stock Exchange data including quotes, price history, disclosure… | T0 INDEXEDclaim to fast-track | market-data | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20872 | psyXe(unclaimed - source: pulsemcp · publisher: github.com) · enApple Notes, Reminders, and Contacts for AI assistants with BERT semantic search on macOS. | T0 INDEXEDclaim to fast-track | note-taking | not listed | not yet scored public: 2★ gh · undefined/wk npm |
|
| #20873 | pubchem-mcp(unclaimed - source: glama · publisher: Fishquito7) · enEnables querying PubChem compound properties and structure images through MCP, providing formula, molecu… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #20874 | pubchem-mcp-server(unclaimed - source: smithery · publisher: cyanheads) · enSearch PubChem compounds, properties, safety data, bioactivity, and cross-references. | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored public: undefined★ gh · undefined/wk npm |
|
| #20875 | pubchem-mcp-server(unclaimed - source: smithery · publisher: cyanheads) · enSearch PubChem compounds, properties, safety data, bioactivity, and cross-references. | T0 INDEXEDclaim to fast-track | general-tools | not listed | MCP | not yet scored public: undefined★ gh · undefined/wk npm |