HTTP/2 302 date: Sun, 28 Dec 2025 07:50:07 GMT content-type: text/html; charset=utf-8 content-length: 0 location: https://phpspec.net/en/stable/ server: cloudflare cf-ray: 9b4f770099897fa8-BLR cf-cache-status: EXPIRED cache-control: max-age=1200 content-language: en vary: Accept-Language, Accept-Encoding cdn-cache-control: public cross-origin-opener-policy: same-origin referrer-policy: no-referrer-when-downgrade x-backend: web-i-0aaf74b17c40bc9c8 x-content-type-options: nosniff x-rtd-domain: phpspec.net x-rtd-force-addons: true x-rtd-project: phpspec x-rtd-project-method: custom_domain x-rtd-redirect: system x-rtd-version-method: path x-served: Django-Proxito set-cookie: __cf_bm=UDLAZBz178qq.JFG3ZKzosznkVZ86EpepERzBAid27o-1766908207-1.0.1.1-V326MncHcbvYqnceYG74ZuhwyL2VxWKan8OSiTXVG1ohp0Gdeau_wf4JFWuhihU8_6JcSGfmBc8WvC_jicBmUZimC77qJzk5imHTa7b7olA; path=/; expires=Sun, 28-Dec-25 08:20:07 GMT; domain=.phpspec.net; HttpOnly; Secure; SameSite=None set-cookie: _cfuvid=sCK2Awwx7_50tHFu2NM45vmvWKS3oSo_Aaq2vgOi9EA-1766908207093-0.0.1.1-604800000; path=/; domain=.phpspec.net; HttpOnly; Secure; SameSite=None alt-svc: h3=":443"; ma=86400 HTTP/2 200 date: Sun, 28 Dec 2025 07:50:07 GMT content-type: text/html server: cloudflare cf-ray: 9b4f77065a6d7fa8-BLR cf-cache-status: HIT access-control-allow-origin: * cache-control: max-age=1200 content-encoding: gzip etag: W/"002ad4b7d2c77ac06220162647725897" last-modified: Fri, 29 Jan 2021 12:08:25 GMT vary: Accept-Encoding access-control-allow-methods: HEAD, OPTIONS, GET cdn-cache-control: public cross-origin-opener-policy: same-origin referrer-policy: no-referrer-when-downgrade x-amz-id-2: LcYQqwUhmqbz23wWtm1RsqOyZMYcNDPs7RpypW8Oy11084WKwsU99FSsXXO6rj1ZBWDMg7Zj8yMiplNdZs16H6Cv06bR4GwFqcEzZwp/KoE= x-amz-meta-mtime: 1592338323 x-amz-request-id: KNE8VXG6DJ8FW4NZ x-backend: web-i-04795b5fdec447abf x-content-type-options: nosniff x-rtd-domain: phpspec.net x-rtd-force-addons: true x-rtd-path: /proxito/html/phpspec/stable/index.html x-rtd-project: phpspec x-rtd-project-method: custom_domain x-rtd-resolver-filename: / x-rtd-version: stable x-rtd-version-method: path x-served: Nginx-Proxito-Sendfile alt-svc: h3=":443"; ma=86400

• main
• phpspec manual
• prophecy repo
• phpspec repo

phpspec

A php toolset to drive emergent
design by specification.

phpspec
repository phpspec
manual

Quick Start¶

Create a composer.json file:

{
    "require-dev": {
        "phpspec/phpspec": "^6.2"
    },
    "config": {
        "bin-dir": "bin"
    },
    "autoload": {"psr-0": {"": "src"}}
}

Follow the instructions on this page to install composer: https://getcomposer.org/download/.

Install phpspec with composer:

composer install

Start writing specs:

bin/phpspec desc Acme/Calculator

Learn more from the documentation.