Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Forecast future events and scan prediction-market edges.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
ウェブ、デスクトップ、モバイルのClaudeで使えます:
https://foresea.ink/mcp/ターミナルでこれを実行します
claude mcp add --transport http forecasting https://foresea.ink/mcp/プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"forecasting": {
"url": "https://foresea.ink/mcp/"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"forecasting": {
"type": "http",
"url": "https://foresea.ink/mcp/"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
ChatGPTがつなげるのは、インターネット上のサーバーだけです:
https://foresea.ink/mcp/メニューの名前は、プランや時期によって少し違うことがあります。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック
公開者(foresea.ink)がリポジトリの所有者(pareelamre)ではありません。別の人が登録した可能性があります
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち0項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。
GitHubリポジトリの最終更新は–、最新バージョン(1.0.0)がレジストリに届いたのは5 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Zoo MCP
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
An MCP server that provides access to the Zoo API for various CAD operations and tools.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Foresea (foresea.ink) is an autonomous prediction market intelligence platform and empirical research framework. It combines real-time probability forecasting across Polymarket and Kalshi, statistical edge discovery, multi-model shadow trading tournaments, an autonomous 19-tool ReAct execution agent, and a public Model Context Protocol (MCP) server.
The repository also serves as the artifact for research studying how explicit rationale instructions, evidence injection, and reasoning structures affect LLM forecasting behavior and calibration on Metaculus-style questions.
Deployed on Google Cloud Run with high-concurrency scaling, streaming responses, and continuous delivery:
https://foresea.ink
# Health check
curl https://foresea.ink/health
curl -X POST https://foresea.ink/predict \ -H "Content-Type: application/json" \ -d '{ "question": "Will X happen by date Y?", "question_type": "binary", "description": "Context here.", "news_articles": [], "attach_evidence": true, "evidence_top_k": 5, "market_platform": "Polymarket", "market_probability": 0.42, "variant": "variant0_neutral_baseline" }'
When attach_evidence is true and no news_articles are supplied, /predict fetches and ranks current news evidence from GDELT, Google News RSS, and Stooq by default, injects it into the model prompt, and returns the selected evidence_articles with the forecast. Supplying news_articles skips automatic retrieval and uses the caller-provided evidence.
The response includes both the forecast and the evidence used by the model:
{
"question_type": "binary", "predicted_answer": "Yes", "confidence": 0.86, "options": [], "range_forecast": null, "rationale": "Model-generated explanation for the forecast.", "model_rationale": "Model-generated explanation for the forecast.", "variant": "variant0_neutral_baseline", "model_key": "gpt-oss-120b", "evidence_sources": [ { "source": "Reuters", "title": "Article headline", "url": "https://example.com/article", "publish_date": "2026-05-29T00:00:00Z", "relevance_score": 0.82 } ], "evidence_articles": [ { "title": "Article headline", "summary": "Cleaned article summary.", "source": "Reuters", "url": "https://example.com/article", "publish_date": "2026-05-29T00:00:00Z", "relevance_score": 0.82, "search_query": "query used for retrieval" } ], "evidence_error": null, "market_analysis": { "platform": "Polymarket", "market_url": "https://example.com/market", "outcome": "Yes", "market_probability": 0.42, "model_probability": 0.86, "edge": 0.44, "stance": "model_above_market", "summary": "Foresea is 44 percentage points above the market on Yes." } }
Use evidence_sources when a client only needs the source list and links. Use evidence_articles when a client needs the article-level details that were attached to the model prompt. rationale and model_rationale are generated by gpt-oss-120b and explain why the model chose its answer and confidence. When market_probability is supplied, market_analysis is computed deterministically from the model probability and the market-implied probability.
Foresea continuously evaluates state-of-the-art LLMs against real-world prediction markets, tracking statistical edge, calibration accuracy, and shadow portfolio performance across three dedicated views:
/edge or /edge/markets)buy_yes, buy_no, hold).static/track_record_live.json, calculating Brier scores, Expected Calibration Error (ECE), and lead-time skill once markets resolve./edge/mtm)/edge/agentic)gemma-4-26b-a4b-it)qwen3-8-27b)gpt-oss-120b)glm-5-3) & GLM 5.3 Flash (glm-5-3-flash)deepseek-v4-flash)minimax-m3)llama-3.3-70b-instruct)crowd-follow (no-LLM consensus control)The local crypto micro-market model in src/analyzing_llm_rationale/crypto_5m.py is built for 5-minute UP/DOWN markets where the goal is profitable selective trading, not constant action. It combines:
Each forecast returns predicted_outcome, probability_up, component_probabilities, model-vs-market edge, and a fee-aware strategy. The strategy only recommends a trade when net expected value clears fees and the configured no-trade threshold.
.venv/bin/python scripts/crypto_5m_backtest.py \
--benchmark \ --symbols BTC,ETH,SOL \ --days 1 \ --max-candles 1600 \ --lookback-minutes 60 \ --horizon-minutes 5 \ --market-probability 0.50 \ --fee-bps 2 \ --ml-modes fixed,adaptive \ --edge-thresholds 0,0.01,0.03,0.05,0.08 \ --selection-fraction 0.6 \ --folds 4 \ --training-window 120 \ --max-rows 80 \ --benchmark-log data/crypto_5m_benchmark_runs.jsonl
Use fold_aggregate and evidence_quality before risking capital. If selection is unstable or holdout PnL is weak, the correct profitable action is to abstain. --benchmark-log appends a compact JSONL record for tracking whether the selected threshold and model mode keep working across benchmark runs. Resolve completed markets against Binance candles:
.venv/bin/python scripts/crypto_5m_backtest.py \
--resolve \ --symbol BTCUSDT \ --target-price 62400.52 \ --start-time-ms 1780000000000 \ --horizon-minutes 5 \ --predicted-outcome down
The resolver returns pending before expiry and resolved afterward with actual_outcome, resolved_price, and prediction_correct.
Record and resolve paper signals over time:
.venv/bin/python scripts/crypto_5m_backtest.py \
--paper-signal \ --symbol BTCUSDT \ --market-probability 0.50 \ --fee-bps 2 \ --signal-log data/crypto_5m_signal_log.jsonl
.venv/bin/python scripts/crypto_5m_backtest.py \ --resolve-signal-log \ --signal-log data/crypto_5m_signal_log.jsonl
.venv/bin/python scripts/crypto_5m_backtest.py \ --signal-summary \ --signal-log data/crypto_5m_signal_log.jsonl \ --min-resolved-trades 200 \ --min-total-pnl 0 \ --min-hit-rate 0.53
.venv/bin/python scripts/crypto_5m_backtest.py \ --paper-loop \ --symbols BTC,ETH,SOL \ --iterations 12 \ --sleep-seconds 60 \ --market-probability 0.50 \ --fee-bps 2 \ --signal-log data/crypto_5m_signal_log.jsonl
The signal log is the running dataset for model improvement: each record stores the forecast, recommendation, later actual_outcome, correctness, and pnl_per_contract for actual buy_up/buy_down paper trades. Use --signal-summary to audit whether resolved paper trades are positive after fees; trade_ready stays false until the configured trade count, PnL, and hit rate thresholds are met. Use --dry-run with --paper-loop to preview signals without writing the log.
Production is served from the custom domain:
https://foresea.ink
The Cloud Run service name, project ID, and region are set at deploy time
冒頭だけを表示しています。続きはリポジトリで読めます