Bb5a31f81ClaimCommunity developers decompiled the 2001 video game Halo: Combat Evolved to create playable browser-based versions using WebGPUAgreeDisagree
Bb5a31f81ClaimCisco released the open-source Concord protocol to enable software agents to coordinate and negotiate outcomes during task executionAgreeDisagree
Bb5a31f81ClaimThe Accord and Concord protocols are designed as modular skills that operate on top of Agent-to-Agent (A2A) and Model Context Protocol (MCP)AgreeDisagree
Bb5a31f81ClaimCisco released the open-source Accord protocol to help software agents align on shared intent, scope, and terminology before commencing workAgreeDisagree
Bb5a31f81ClaimDomain Connect is an open protocol designed to automate DNS record configuration for service providers via an OAuth-style flowAgreeDisagree
Bb5a31f81ClaimKevin Buzzard adopted the Lean theorem prover to formally verify research papers and establish certainty regarding the correctness of modern mathematical literatureAgreeDisagree
Bb5a31f81ClaimMathlib is the open-source community mathematical library developed for the Lean theorem proverAgreeDisagree
Bb5a31f81ClaimJEV Stiller is an open-source project that routes queries to JEV initially, then uses the data to train a local "student" modelAgreeDisagree
Bb5a31f81ClaimThe code for SynthID Bio is being open-sourced to allow other model developers to integrate itAgreeDisagree
Bb5a31f81ClaimSpotify's strategy for podcasting involves supporting both proprietary platform features and open standards simultaneouslyAgreeDisagree
Bb5a31f81ClaimSpotify uses open standards to distribute content for podcasters who use its creation toolsAgreeDisagree
Bb5a31f81ClaimThe Hermes agent is open-source, allowing users to modify the agent to suit their needs.AgreeDisagree
Bb5a31f81ClaimThe 'skills' format, originally from Anthropic, has become an open standard adopted by many tools.AgreeDisagree
Bb5a31f81ClaimOpenAI released the 'agents.md' convention in 2025 as an open markdown standard for AI coding agents.AgreeDisagree
Bb5a31f81ClaimThe Agentic AI Foundation has a working group to create systems or standards for complying with regulations like the EU AI Act.AgreeDisagree
Bb5a31f81ClaimThe need for member companies to build products on the standards creates an incentive for working groups to move quickly.AgreeDisagree
Bb5a31f81ClaimThe MCP Discord server is cited as an example of collaborative work between employees of competing companies.AgreeDisagree
Bb5a31f81ClaimThe Agentic AI Foundation was designed to operate faster than traditional standards foundations to keep pace with AI innovation.AgreeDisagree
Bb5a31f81ClaimThe 'agents.md' standard is natively read by tools including OpenAI's Codecs, Cursor, and Google's Gemini CLI.AgreeDisagree