{"v":1,"type":"bragproof/receipt","spec":{"v":1,"claim":"Started with one allowed directory, the server lists it, writes a text file there and reads the same text back.","subject":{"kind":"mcp-stdio","name":"MCP Filesystem server","package":"@modelcontextprotocol/server-filesystem","version":"2.3.0","args":["/tmp"]},"steps":[{"tool":"list_allowed_directories","arguments":{},"expect":{"contains":"/tmp"}},{"tool":"write_file","arguments":{"path":"/tmp/bragproof.txt","content":"bragproof-7f3a"},"expect":{"contains":"Successfully wrote"}},{"tool":"read_text_file","arguments":{"path":"/tmp/bragproof.txt"},"expect":{"equals":"bragproof-7f3a"}}],"tags":["mcp","reference","files"]},"result":{"pass":true,"subjectIntegrity":"sha512-dnwDFqYi2Q3VbFDnVOUme4+81CzwHBj3OKeYEgZ6UkBp7rWSm5OKiidemgIF0kkt5AyAi6mHsqx0cfTZBP1DJQ==","lockHash":"f073b06b9d1826d2834663b36b02c576cd26d772553402b6e00ac0219d9fdfc0","steps":[{"tool":"list_allowed_directories","pass":true,"outputHash":"0ef15476265158a84982ff82ab6428f9fdb7f152e7fe4cf0e19837558197e7af","outputPreview":"Allowed directories:\n/tmp"},{"tool":"write_file","pass":true,"outputHash":"a3e0133d8abb062d3789cd19ea3184f611934433f7ee0185a7cd1d78828265dc","outputPreview":"Successfully wrote to /tmp/bragproof.txt"},{"tool":"read_text_file","pass":true,"outputHash":"a4783c036cf73de48fa71c7330f0f1e9c87cdc9a34f8aa19f841cdfe1fa1c48f","outputPreview":"bragproof-7f3a"}],"startedAt":"2026-11-12T00:33:19.954Z","finishedAt":"2026-11-12T00:33:21.349Z","runnerVersion":"0.1.0"},"bodyHash":"486c1de44196ccebaed672e6273b79a3eb1406f35e3199052522cb2290d8fce5","evidence":{"kind":"github-actions","token":"eyJhbGciOiJSUzI1NiIsImtpZCI6IjM4ODI2YjE3LTZhMzAtNWY5Yi1iMTY5LThiZWI4MjAyZjcyMyIsInR5cCI6IkpXVCIsIng1dCI6InlrTmFZNHFNX3RhNGsyVGdaT0NFWUxrY1lsQSJ9.eyJhY3RvciI6Iml0c0hhZGRhZCIsImFjdG9yX2lkIjoiMTE0NzMyNjEiLCJhdWQiOiJicmFncHJvb2Y6NDg2YzFkZTQ0MTk2Y2NlYmFlZDY3MmU2MjczYjc5YTNlYjE0MDZmMzVlMzE5OTA1MjUyMmNiMjI5MGQ4ZmNlNSIsImJhc2VfcmVmIjoiIiwiY2hlY2tfcnVuX2lkIjoiMTMwODg1MjMwNzYzIiwiZXZlbnRfbmFtZSI6IndvcmtmbG93X2Rpc3BhdGNoIiwiZXhwIjoxNzk0NDQzOTAxLCJoZWFkX3JlZiI6IiIsImlhdCI6MTc5NDQ0MzYwMSwiaXNzIjoiaHR0cHM6Ly90b2tlbi5hY3Rpb25zLmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImpvYl93b3JrZmxvd19yZWYiOiJpdHNIYWRkYWQvYnJhZ3Byb29mLy5naXRodWIvd29ya2Zsb3dzL2NoZWNrLnltbEByZWZzL3RhZ3MvY2hlY2stdjEiLCJqb2Jfd29ya2Zsb3dfc2hhIjoiNmJhMjljODBmZGQ3ZTQwYmIyZTY4MTM3MDY3NGJhZGVhZDEwOWRkNiIsImp0aSI6IjY1Mjk1ODk4LTg2MzctNGVmYS1hOGE4LTM5MjZjOGI3M2Q5NSIsIm5iZiI6MTc5NDQ0MzMwMSwicmVmIjoicmVmcy9oZWFkcy9tYWluIiwicmVmX3Byb3RlY3RlZCI6ImZhbHNlIiwicmVmX3R5cGUiOiJicmFuY2giLCJyZXBvc2l0b3J5IjoiaXRzSGFkZGFkL2JyYWdwcm9vZiIsInJlcG9zaXRvcnlfaWQiOiIxNDU0NjIxMTgzIiwicmVwb3NpdG9yeV9vd25lciI6Iml0c0hhZGRhZCIsInJlcG9zaXRvcnlfb3duZXJfaWQiOiIxMTQ3MzI2MSIsInJlcG9zaXRvcnlfdmlzaWJpbGl0eSI6InB1YmxpYyIsInJ1bl9hdHRlbXB0IjoiMSIsInJ1bl9pZCI6IjQzMTI4MDYyMzkzIiwicnVuX251bWJlciI6IjMiLCJydW5uZXJfZW52aXJvbm1lbnQiOiJnaXRodWItaG9zdGVkIiwic2hhIjoiMzYyYzg4ZmE2M2JkZWYxZWNlZDJmN2M4NDJjZWMzMDhhMzg2MzQxNyIsInN1YiI6InJlcG86aXRzSGFkZGFkQDExNDczMjYxL2JyYWdwcm9vZkAxNDU0NjIxMTgzOnJlZjpyZWZzL2hlYWRzL21haW4iLCJ3b3JrZmxvdyI6InNlZWQiLCJ3b3JrZmxvd19yZWYiOiJpdHNIYWRkYWQvYnJhZ3Byb29mLy5naXRodWIvd29ya2Zsb3dzL3NlZWQueW1sQHJlZnMvaGVhZHMvbWFpbiIsIndvcmtmbG93X3NoYSI6IjM2MmM4OGZhNjNiZGVmMWVjZWQyZjdjODQyY2VjMzA4YTM4NjM0MTcifQ.SDjfJDYoG0-8DnudrGAByZjNRvc4B1TvwAg-EGTDcwkbK-4jcbyRQAbp35LNDZTOpqhDQqe4QvNryX8vMSRIfpivf8tc4NmQKxymgj-zHtAmB2jwaqoGhbzR-ZStMwfAcfj-EV1u1CnbJHeX5k5IANW_0RpuYR8rVi6K0TNivEYpuiU92xleNJziuBP-F_u5DovOtRhvnS-CcftkOWQmH3ju6J9uKPqxa1_SDRaaSu0WdGu8-Aqj1HLb8IXrIqcIZ0NZYwZL2G5W0BG_51SaR8RFatOZurzO9af23yuIF440DemVBZBbQs3ot-c-GUyo80vbeI8HACRtIEVHuHXsPw"}}