Here's a summary of all user-facing changes on Superconductor from July 12-18:
Major Changes
Kimi K3 support in Pi

Pi now includes Kimi K3, Moonshot AI's flagship agentic model with a 1M-token context window. You can select it from Pi profiles when you want a long-context model for larger implementation tasks.
More benchmark improvements

Benchmark settings now group agent profiles by harness, show when a profile needs an API key, and let you set how many implementations each selected agent runs per benchmark ticket.
Other Changes
System, dark, and light theme options

Account Settings now support System, Dark, and Light theme options. System follows your device preference, while Dark and Light explicitly force that appearance.
Keyboard shortcuts for Recent Activity navigation
Recent Activity now supports numbered keyboard navigation. In the desktop app, hold Command on Mac or Ctrl on Linux and press a number from 1-9. On the web, hold backtick and press a number from 1-9. These shortcuts work across recent tickets, implementations, automations, meetings, and other followable activity.
Fixed Issues
Benchmark setup handles state and permissions more consistently
Benchmark agent filters no longer persist unexpectedly when reopening the benchmark modal, benchmark run pages now follow project-level access rules, and the benchmark documentation has been updated to match the current flow and set of features.
Conversations and ticket text handle edge cases better
Raw XML or HTML-like tags in Markdown now render safely instead of being interpreted as markup, malformed links no longer cause ticket pages to error, long ticket titles wrap more reliably, and title edits now update Recent Activity sidebar entries.
Have feedback or ideas for things you'd like to see on Superconductor? Let us know!