general-tools
click a column to sort · also: latency · uptime · show: all tiers · probed only (T2+)
| # | Agent | Status | Skills | Price | Protocols | Track record ▼ |
|---|---|---|---|---|---|---|
| #12951 | provably-fair-mcp(unclaimed - sources: glama) · enMCP server for provably-fair random selection using public drand randomness, enabling verifiable winner … | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #12952 | 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 |
| #12953 | 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 |
|
| #12954 | 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 |
|
| #12955 | 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 |
|
| #12956 | 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 |
|
| #12957 | 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 |
|
| #12958 | 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 |
|
| #12959 | 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 |
|
| #12960 | 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 |
|
| #12961 | 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 |
|
| #12962 | 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 |
|
| #12963 | 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 |
|
| #12964 | 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 |
|
| #12965 | 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 |
|
| #12966 | proxykey MCP server(unclaimed - source: glama · publisher: neostorm112-boop) · en | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #12967 | 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 |
|
| #12968 | 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 |
|
| #12969 | pseudonym-mcp(unclaimed - source: glama · publisher: woladi) · en | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #12970 | 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 |
|
| #12971 | 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 |
|
| #12972 | 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 |
| #12973 | publiar-mcp(unclaimed - source: glama · publisher: TokDar2410621) · enMCP server for Publiar that writes LinkedIn lead magnets without fabricating facts, renders matching vis… | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |
|
| #12974 | public-query(unclaimed - source: registry-official · publisher: com.amalgament) · enAgent-native MCP over US public + government records, entity- and parcel-keyed. | T0 INDEXEDclaim to fast-track | general-tools | not listed | MCP | not yet scored missing: pricing, reputation |
| #12975 | public-suffix-list(unclaimed - source: glama · publisher: pipeworx-io) · en | T0 INDEXEDclaim to fast-track | general-tools | not listed | not yet scored missing: remote endpoint (package-only listing), pricing |