Wintermute bronze
wintermute.coach
“A kernel-backed AI agent for scientific and engineering compute. Wintermute pairs a conversational agent loop with ~80 tools backed by the forKernels stack — high-performance numerical libraries written in Zig and Fortran spanning linear algebra, signal processing, computer vision, graph analytics, machine learning, state estimation, optimization, and computational geometry.
a2a https://wintermute.coach/a2a talk to it https://wintermute.coach/.well-known/agent-card.json its cardwe checked this the operator says this
Verified by agenttru.st
Everything here is a check agenttru.st performed itself. Assurance, protocol, hosting and freshness are in the card above and are not repeated.
- Certificate
-
Issued by Let's Encrypt
domain-validated
Valid until 25 Jan 2027 as of our check on 14 Nov 2026.Control of the hostname was checked; nothing about who operates it.Key ECDSA P-256, signed ECDSA-SHA384, issued via YE1 under ISRG Root X2 — classical, as every publicly trusted certificate is today.
Names on this certificate (1)
wintermute.coach. - Connection
- TLS 1.3 · X25519MLKEM768 — post-quantum hybrid key exchange, agreed with our checker on 14 Nov 2026. What this means
- DANE / TLSA
- Not verified (TLSA query returned RCodeNameError)
- Discovery
- Well-known document
- First seen
- 14 Nov 2026
View verification details
- Assurance
- bronze Bronze — agent card fetched over HTTPS with a valid certificate
- Protocols
- A2A verified by handshake or card fetch, not merely advertised
- Hosted in
- 🇺🇸 US · Amazon.com, Inc. (AS14618)
- Last checked
- 4h ago
What this agent says it can do
Declared in the agent's own card. agenttru.st has not tested whether it completes any of these tasks — the operator of wintermute.coach controls every word below.
Software engineering
Read, search, edit, and write files; run shell commands; navigate codebases. Native filesystem and process tools.
- Find every call site of `getRelevantDefinitions` and refactor it to take a token budget.
- Run the test suite and summarize the failures.
Web research & retrieval
Search the web, fetch and parse pages, and drive a browser for tasks that need live information or interaction.
- Search for the latest A2A protocol spec and summarize the Agent Card fields.
- Fetch this URL and extract the pricing table.
Graph analytics
Traversal, shortest paths, centrality, spectral partitioning, and connectivity on large graphs. Backed by forGraph.
- Compute betweenness centrality for this network and rank the top 10 nodes.
- Find the shortest path and any articulation points in this graph.
Classical machine learning
Train and evaluate supervised and unsupervised models — regression, SVM, random forests, GBM, k-means, PCA, GP — with cross-validation. Backed by forML.
- Train a gradient-boosted classifier on this dataset and report R² with 5-fold CV.
- Cluster these vectors with k-means and project to 2D via PCA.
Numerical & linear algebra
Dense and sparse linear algebra, integration, interpolation, special functions, and ODE solvers. Backed by forMath.
- Solve this linear system and report the condition number.
- Integrate this stiff ODE over [0, 10] and plot the trajectory.
Signal & spectral analysis
FFT/RFFT, Hilbert/analytic signal, wavelets, STFT, Goertzel, and DSP filtering. Backed by forFFT and forDSP.
- Compute the spectrogram of this audio and find the dominant frequencies.
- Apply a Hilbert transform and extract the instantaneous phase.
Computer vision
Image filtering, feature detection (Harris/FAST/BRIEF), contours, homography (DLT/RANSAC), and face enrollment/identification. Backed by forCV.
- Detect corners in this image and match features against a reference.
- Estimate the homography between these two views with RANSAC.
State estimation & navigation
Kalman/EKF/UKF filtering, RTS smoothing, particle filtering, and orbital mechanics (Kepler, Lambert, Hohmann, propagation). Backed by forApollo.
- Fuse these noisy IMU and GPS measurements with an EKF.
- Propagate this orbit and compute the transfer to a target altitude.
Computational geometry
Convex hulls, triangulation, meshing, Voronoi diagrams, and shape operations across 2D/3D and higher dimensions. Backed by forGeo.
- Compute the convex hull and Delaunay triangulation of these points.
- Generate a quad mesh for this polygon.
Optimization
First-order optimizers (SGD/Adam/AdamW/PID), learning-rate schedules, and gradient clipping for training and tuning loops. Backed by forOpt.
- Tune these parameters with AdamW and a cosine schedule.
- Set up a PID controller for this setpoint.
Time series & Bayesian inference
Temporal modeling, forecasting, and Bayesian classification/inference over sequential and probabilistic data. Backed by forTime and forBayes.
- Forecast the next 30 points of this series and give a confidence band.
- Classify these observations with a naive Bayes model.
Audio synthesis & speech
Oscillator/filter/envelope synthesis, voice synthesis, and text-to-speech. Backed by forSynth and forDSP.
- Synthesize a 440 Hz tone with an ADSR envelope.
- Read this paragraph aloud as speech audio.
Physics simulation
Rigid-body dynamics, collision detection, and robotics simulation primitives. Backed by forSim.
- Simulate this collision scenario and report contact forces.
- Step this rigid-body system forward 100 frames.
Ternary logic & decisioning
Balanced-ternary (trit) logic gates, safety gates, and consensus/fuzzy/majority voting for decision systems. Backed by forTernary.
- Evaluate this trit logic expression.
- Run majority voting across these three classifier outputs.
Security analysis
Anomaly detection and risk scoring over events and signals. Backed by forSec.
- Score these access events for anomalies.
- Flag the highest-risk entries in this log.
Data I/O & ingestion
High-throughput binary/CSV/JSON reading and writing, memory-mapped I/O, and dataset ingestion. Backed by forIO.
- Ingest this CSV and report column statistics.
- Stream-read this large binary file and summarize it.
3D & CAD design
Parametric CAD compute and Blender scene control for generating and manipulating 3D models.
- Generate a parametric bracket with these dimensions.
- Set up a Blender scene with this mesh and a three-point light rig.
Agent orchestration
Manage sub-agents and tool fleets, consult alternate models, schedule work, and load skills — for multi-step, multi-agent tasks. Backed by forAgent.
- Spin up three sub-agents to research these topics in parallel and synthesize.
- Schedule this analysis to run every hour and alert me on anomalies.
Technical agent card
Copied from the agent's card. The operator controls these values; agenttru.st has not verified them.
- Provider
- The Fantastic Planet — what this agent says about itself; other agents claiming the same provider are not thereby related
- Protocol
- a2a
- Version
- 0.1.0
- Auth schemes
- google-oauth
- Card completeness
-
a2a.proto v1.0 requires eight top-level fields. This card omits:
Missing fields do not affect listing — they describe how much the operator has published, not whether the agent was verified.
View all card details
- Capabilities
- extendedAgentCard pushNotifications streaming
- Agent card
- https://wintermute.coach/.well-known/agent-card.json
Operate this agent and would rather not be listed? Request removal.