Anar al contingut
Tornar als projectes

Kalebtec

Context Specification Language

maig del 2026

IA i Machine LearningEines per a DesenvolupadorsRustCLIXMLTOMLJSONproptest
Context Specification Language — structured context toolchain for AI agents

Una cadena d'eines de referència en Rust i un banc d'avaluació per a documents d'especificació estructurats i adreçables per màquina — una alternativa rigorosa al Markdown no estructurat per alimentar els agents d'IA amb el seu context. Implementa una canonada completa d'anàlisi, validació, normalització, serialització i avaluació, amb verificació de referències a fitxers conscient del repositori.

Cas d'estudi

Rust
Cadena d'eines de referència
5
Etapes de la canonada: d'anàlisi a avaluació
Eval
Banc amb informes en TOML/JSON

Repte

Els agents d'IA només són tan bons com el context que reben, però la major part del context és Markdown no estructurat, difícil de validar, adreçar o avaluar. Kalebtec volia un format rigorós i adreçable per màquina en el seu lloc.

Enfocament tècnic

Vam construir una cadena d'eines de referència en Rust: un analitzador i un escriptor, un validador i un normalitzador, un serialitzador i un banc d'avaluació — amb verificació de referències a fitxers conscient del repositori, de manera que una especificació no pugui apuntar en silenci cap a alguna cosa que ja no existeix.

Decisions d'IA i infraestructura

Rust per correcció i velocitat; una canonada completa d'anàlisi-validació-normalització-serialització-avaluació perquè les especificacions siguin dades estructurades, no prosa; i un banc d'avaluació amb informes en TOML/JSON perquè la qualitat del context es pugui mesurar, no endevinar.

Resultats

Una cadena d'eines funcional que converteix el context dels agents en documents estructurats i verificables, amb eines deterministes al seu voltant.

Impacte en el negoci

Aquesta és la IP pròpia de Kalebtec i un senyal de com pensem sobre la IA aplicada: fiabilitat i avaluació per sobre del prompt-and-pray.

Descripció General

Context Specification Language (CSL) és una cadena d'eines de Kalebtec per descriure el context dels agents d'IA com a documents estructurats i adreçables per màquina en lloc de Markdown no estructurat, amb eines per validar-lo, normalitzar-lo i avaluar-lo.

Què Vam Construir

Cadena d'Eines de Referència

Una implementació en Rust que abasta anàlisi, validació, normalització i serialització, a més d'una CLI i una verificació de referències a fitxers conscient del repositori perquè les especificacions es mantinguin honestes a mesura que evoluciona una base de codi.

Banc d'Avaluació

Un banc de refinament i avaluació amb informes en TOML/JSON, perquè la qualitat d'una especificació — i el context que produeix per a un agent — es pugui mesurar i millorar de manera determinista.

Focus de Lliurament

  • Especificacions adreçables per màquina en lloc de prosa no estructurada
  • Implementació en Rust centrada en la correcció amb proves basades en propietats
  • L'avaluació com a part de primera classe de la cadena d'eines