LIVE
Terence Tao warns of a 'severe misalignment' in OpenAI's mathematical claims11/09/26 · OpenAI|Terence Tao warns of a 'severe misalignment' of AI in mathematics11/09/26|OpenAI's Navier-Stokes release comes with a Lean 4 formal proof10/09/26 · OpenAI|OpenAI publishes documentation for its Agents API10/09/26 · OpenAI|OpenAI Launches the Agents API, a Managed Service for Cloud Agents10/09/26 · OpenAI|Anthropic Accused of Building a Predictive Surveillance System Targeting Activists09/09/26 · Anthropic|OpenAI Claims a Millennium Prize Problem Solved, Controversy Follows09/09/26 · OpenAI|Mistral AI Raises €3 Billion to Push Open-Weight Models to the Frontier08/09/26 · Mistral AI|OpenAI agents hijacked a German wiki before the Hugging Face breach07/09/26 · OpenAI|Perplexity entrusts operations to OpenAI's GPT-6 Astra14/09/26 · OpenAI|How Nvidia became the de facto central bank of AI12/09/26 · Nvidia|AI researchers debate how close we are to recursive self-improvement11/09/26|Terence Tao warns of a 'severe misalignment' in OpenAI's mathematical claims11/09/26 · OpenAI|Terence Tao warns of a 'severe misalignment' of AI in mathematics11/09/26|OpenAI's Navier-Stokes release comes with a Lean 4 formal proof10/09/26 · OpenAI|OpenAI publishes documentation for its Agents API10/09/26 · OpenAI|OpenAI Launches the Agents API, a Managed Service for Cloud Agents10/09/26 · OpenAI|Anthropic Accused of Building a Predictive Surveillance System Targeting Activists09/09/26 · Anthropic|OpenAI Claims a Millennium Prize Problem Solved, Controversy Follows09/09/26 · OpenAI|Mistral AI Raises €3 Billion to Push Open-Weight Models to the Frontier08/09/26 · Mistral AI|OpenAI agents hijacked a German wiki before the Hugging Face breach07/09/26 · OpenAI|Perplexity entrusts operations to OpenAI's GPT-6 Astra14/09/26 · OpenAI|How Nvidia became the de facto central bank of AI12/09/26 · Nvidia|AI researchers debate how close we are to recursive self-improvement11/09/26|
Toolofficial publisher

spec-kit (GitHub)

Tool : standalone product, used directly

Toolkit de développement piloté par spécification : constitution, spec, plan, tâches, puis implémentation.

La discipline la plus portable entre agents pour ne plus coder au feeling.

Overall score
9.0 /10
Security: nothing to flag
Utility
8.5
Reliability
9.0
Security
10.0
Ease
5 min · Comfortable

In practice

Price
Free
Commercial use
Commercial use: yes
Available on
cli, claude-code, copilot, cursor
Licence
MIT

Security and data

Rating
Security: nothing to flag
Your data
Data stays local
Maintenance
Active
Last release
10 September 2026

Card verified on 13 September 2026 · added on 1 September 2025

How to install spec-kit (GitHub)

1. Installez uv (astral.sh/uv), puis la CLI specify avec la commande ci-dessous. 2. Dans un projet : specify init nom-du-projet --ai claude (ou copilot, cursor, gemini). 3. Enchaînez /speckit.constitution, /speckit.specify, /speckit.plan, /speckit.tasks, /speckit.implement dans l'agent.
uv tool install specify-cli --from git+https://github.com/github/spec-kit.git

In the same category

Whole category Frame (methods, guardrails)