David Soria Parra

@dsp_

Member of Technical Staff @AnthropicAI. Co-Creator of modelcontextprotocol.io. Ex-Meta. Playing with computers and tech

London, UK

experimentalworks.net

Joined August 2008

445 Following

15K Followers

David Soria Parra
@dsp_
Nov 12
I think this is pretty cool. Check it out. Also props to Samuel for the epic video.
Samuel Colvin
@samuelcolvin
Nov 12
🚀 Today we're launching Agent Sandboxes in @pydantic Logfire: a profoundly different kind of sandbox. "The world doesn't need another sandbox" they say. Maybe. Or maybe the world doesn't need another firecracker/gVisor/VM infra-fest. Our Agent Sandboxes are different.
2
David Soria Parra
@dsp_
Nov 11
True acts of love
Peter Alexander
@Poita_
Nov 11
Was struggling with some game design UX so asked my girlfriend (a designer) if I could borrow her design skills and she literally emailed me a SKILL.md 😂
David Soria Parra
@dsp_
Nov 10
MCP is all about openess and working together. If it is a good idea, we adopt it. Looking forward to working together to standardize it as part of MCP apps and giving it a modelcontextprotocol.io key
Max Stoiber
@mxstbr
Nov 10
powered by OpenAI plugin extensions 🤯 github.com/openai/mcp-ext…
10
David Soria Parra
@dsp_
Nov 10
It is pretty obvious to me that AI enables a new era of formal verification. On MCP we just working with some people to formally verify the SDKs and it already yields results.
David Andrews
@broyojo42
Nov 9
I had Opus 5.5 formalize CPython in Lean: 613,318 lines of Lean that copy Python's internals line by line, tested against the real interpreter and checked by Lean. On the way it found real bugs in Python, including crashes from plain Python code. 🧵
6
David Soria Parra
@dsp_
Nov 7
Yes this. It is so good that some apps like Fusion 360s and others are shipping like that and I would love to see more of it. Having Claude connect to your local app and seeing the changes is the best of both worlds. Agent interaction + native app
Thariq
@trq212
Nov 6
a pattern I’m liking: creator apps like Instagram Edits and Roblox Studio shipping with built-in MCPs, so agents can do some of the work while power users can collaborate and continue the work in tools that they're used to
5

David Soria Parra

David Soria Parra’s posts