David Soria Parra

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

[David Soria Parra @dsp_]

Is it just me or does it take 4 clicks to accept + merge a PR on github. how is it not 1?

[David Soria Parra @dsp_]

@_sambhavkothari Ah nice! They are great fun

[David Soria Parra @dsp_]

@thorstenball Why are you doing that to yourself

[David Soria Parra @dsp_]

👋👋👋

[Alex Albert @alexalbert__]

We've got an amazing group of people on here who care deeply about our products and want to hear from you. If you ever have feedback, tag them:

Claude Code
@addyosmani
@lydiahallie
@_catwu
@bcherny
@sidbid
@jarredsumner
@adocomplete
@delba_oliveira
@connerphillippi
@dickson_tsai
@dmwlff

Chat/Cowork
@felixrieseberg
@TheAmolAvasare
@RobertJBye
@sean_t_strong

Duet
@ahuja_karan
@gabemulley

Tag
@noahzweben
@ghodss

API/Platform
@RLanceMartin
@cjav_dev
@katelyn_lesse
@_hi_mc
@brada

General/Community
@edwinarbus
@sammcallister
@_sholtodouglas
(+ myself)

[David Soria Parra @dsp_]

@alexalbert__ @trq212 @addyosmani @lydiahallie @_catwu @bcherny @sidbid @jarredsumner @adocomplete @delba_oliveira @connerphillippi 👀👀👀😢😢😢

[David Soria Parra @dsp_]

@samuelcolvin I still think in principle it is a good idea, but the incentives in the industry don’t line up

[Connor Turland @entrecurious]

so agents are in front of, but now also behind, MCPs?

[David Soria Parra @dsp_]

@samuelcolvin It had design issues, the naming was confusing but most importantly all big client implementers were wimps.

[Matt Carey @mattzcarey]

AI + MCP = Agent

so fricking cool

[Pi @pidotdev]

🤩

[Earendil @earendilworks]

We are proud to be working alongside David to help to steer Agent Skills into an open and collaborative future

[David Soria Parra @dsp_]

You can now expose long running agents via MCP and use it in Claude. You want to run a research agent or kick off a CI job and listen to the result. You also can now ensure with elicitations that a human is accepting an action or filling in data, or delegate to a URL for payments

[ClaudeDevs @ClaudeDevs]

We’re adding support for MCP Tasks and Elicitations in Claude.

Tasks let Claude give plugins long-running jobs such as deep research and report back when they’re done.

[David Soria Parra @dsp_]

I have recently started to using Claude to write proofs for my software. It’s so much more tractable. What our research team did goes much further, but it shows the beginning of making proofs just part of normal software

[Anthropic @AnthropicAI]

New on our Frontier Red Team blog: using Claude to formally verify software at large scale.

Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).

With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.

Read our research in full here: https://t.co/zUyx8CjBEk

[Boris Cherny @bcherny]

Agent Skills started as an experiment in Claude Code. Many across the industry have come to adopt it, so we at Anthropic found it more fitting to donate it to the @AgenticAIFdn, next to MCP.

[Katelyn Lesse @katelyn_lesse]

Skills has become the best way to get an agent working on something new. like MCP, we’re glad so many have found the standard to be useful. and like MCP, we think it’s time for skills to be stewarded by @AgenticAIFdn, where it can continue to be open and community-driven 💙

[David Soria Parra @dsp_]

I am so proud that we are taking the most impactful standard for Agents in the last years and donate it to the Agentic AI Foundation. I am looking forward to Anthropic steering the Agent Skills standard together with Earendil (PI), OpenCode, Microsoft, Google and OpenAI

[ClaudeDevs @ClaudeDevs]

We're donating Agent Skills to the Agentic AI Foundation (@AgenticAIFdn), the same foundation we donated MCP to.

Since December 2025, 70+ agent platforms have integrated the standard, including ChatGPT, Cursor, GitHub Copilot, and VS Code.

Here's what that means for you:

[Pamela Fox @pamelafox]

Just announced by @dsp_:
Claude Code supports MCP tasks!
Looking forward to seeing support for tasks across all the big MCP clients.

[David Soria Parra @dsp_]

@KateHolterhoff The only constant in MCP land is that we always will do more work on Auth & Identity

[David Soria Parra @dsp_]

Handing people the Startup ideas live on stage

[Pamela Fox @pamelafox]

Great point by @dsp_ : when an auth’d MCP server includes skills, it can send down skills specific to the logged in user. Maybe even personalized to that user!
I hadn’t even considered that benefit of skills-over-MCP.

[Nils Adermann @naderman]

If all the govs shutting down servers for a PHP update, all the hosters & enterprises terrified by the vuln, gave $100k, or just $50k a year to the PHP Foundation, things could look very differently. Go, make your employer sponsor *today* https://t.co/z1mUcXMqy9 #php #phpc @Th@ThePHPF