{"_id":"@astrio/forall-mcp","name":"@astrio/forall-mcp","dist-tags":{"latest":"0.1.0"},"versions":{"0.1.0":{"name":"@astrio/forall-mcp","version":"0.1.0","description":"Forall hosted verification MCP — stdio bridge for Cursor, Claude Code, and Codex","type":"module","bin":{"forall-mcp":"bin/forall-mcp.js"},"scripts":{"start":"node bin/forall-mcp.js","typecheck":"tsc --noEmit"},"engines":{"node":">=18"},"keywords":["mcp","forall","verification","astrio"],"license":"Apache-2.0","dependencies":{"@modelcontextprotocol/sdk":"^1.12.1"},"devDependencies":{"@types/node":"^22.15.21","typescript":"^5.8.3"},"repository":{"type":"git","url":"git+https://github.com/astrio-ai/forall-core.git","directory":"packages/forall-mcp"},"_id":"@astrio/forall-mcp@0.1.0","gitHead":"61a166e3c3b1a639df00d1ce59aaebcb54192a00","bugs":{"url":"https://github.com/astrio-ai/forall-core/issues"},"homepage":"https://github.com/astrio-ai/forall-core#readme","_nodeVersion":"24.4.1","_npmVersion":"11.4.2","dist":{"integrity":"sha512-oW5en1RVsHY4U55GeK8NlyfHcqX8R++QL6UVvDPVH/Db6eemye4SAiMxfv9uxsVvpoZpVK2FdYXxKvzLorxzGQ==","shasum":"165731d803be12628cc894bbeb4fdeca4b864e25","tarball":"https://registry.npmjs.org/@astrio/forall-mcp/-/forall-mcp-0.1.0.tgz","fileCount":4,"unpackedSize":4135,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIGNN3M/BLUnLIWjTUyKn4nWSw4Z7iKqNDj+1XyguZy/wAiBWAVvUloGiaRKitZJ+iullqqWmENYTJdBWPn0fTDK5OA=="}]},"_npmUser":{"name":"nolanlwin","email":"naingoolwin.astrio@gmail.com"},"directories":{},"maintainers":[{"name":"nolanlwin","email":"naingoolwin.astrio@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/forall-mcp_0.1.0_1784180659854_0.7101516984181482"},"_hasShrinkwrap":false}},"time":{"created":"2026-07-16T05:44:19.726Z","0.1.0":"2026-07-16T05:44:20.000Z","modified":"2026-07-16T05:44:20.172Z"},"maintainers":[{"name":"nolanlwin","email":"naingoolwin.astrio@gmail.com"}],"description":"Forall hosted verification MCP — stdio bridge for Cursor, Claude Code, and Codex","homepage":"https://github.com/astrio-ai/forall-core#readme","keywords":["mcp","forall","verification","astrio"],"repository":{"type":"git","url":"git+https://github.com/astrio-ai/forall-core.git","directory":"packages/forall-mcp"},"bugs":{"url":"https://github.com/astrio-ai/forall-core/issues"},"license":"Apache-2.0","readme":"# `@astrio/forall-mcp`\n\nStdio MCP bridge to Forall's **hosted verification** service. For Cursor, Claude Code, Codex, and other MCP clients that speak stdio — not the Forall CLI.\n\nThis package does **not** edit your workspace. It only proxies verify tools to `https://mcp.forall.astrio.app/mcp`. Your coding agent applies fixes from the reports.\n\n## Setup\n\n1. Create an API key at [forall.astrio.app/dashboard](https://forall.astrio.app/dashboard)\n2. Add the MCP server to your client:\n\n```json\n{\n  \"mcpServers\": {\n    \"forall\": {\n      \"command\": \"npx\",\n      \"args\": [\"-y\", \"@astrio/forall-mcp\"],\n      \"env\": {\n        \"FORALL_API_KEY\": \"forall_...\"\n      }\n    }\n  }\n}\n```\n\n## Environment\n\n| Variable | Required | Default |\n|----------|----------|---------|\n| `FORALL_API_KEY` | yes | — |\n| `FORALL_MCP_URL` | no | `https://mcp.forall.astrio.app/mcp` |\n\n## vs Forall CLI\n\n| | CLI | This package |\n|--|-----|--------------|\n| Install | `curl …/install.sh \\| bash` | `npx @astrio/forall-mcp` |\n| Audience | Users adopting Forall as their agent | Users staying on Cursor / Claude / Codex |\n| Auth | BYOK and/or Forall OAuth + dashboard key in TUI | Dashboard API key only |\n| Workspace writes | Yes (Forall agent) | No |\n\n## Tools\n\nProxied from the hosted service (names may evolve):\n\n- `forall_verify`\n- `forall_verification_status`\n- `forall_cancel_verification`\n- `forall_explain_verification`\n","readmeFilename":"README.md","_rev":"1-cebcb82a5b05b08105eb42f5a1939f2b"}