tessl install tessl-labs/intent-integrity-kit@1.0.2Closing the intent-to-code chasm - specification-driven development with cryptographic verification
Detailed instructions for Tessl tile integration during implementation.
Platform Detection:
command -v tessl >/dev/null 2>&1Get-Command tessl -ErrorAction SilentlyContinueIf Tessl NOT Available: Display once and continue:
ℹ️ Tessl not installed. Tile-based documentation unavailable.
Install Tessl for enhanced library documentation: https://tessl.ioThen proceed without Tessl.
If Tessl Available: Integration is automatic and mandatory.
If /iikit-03-plan was run with Tessl available, research.md contains a "Tessl Tiles" section with:
Read this section to understand what tiles are available for implementation.
If research.md doesn't have a Tessl section (plan was run without Tessl), initialize tiles now:
mcp__tessl__status()If no tiles installed, search and install for technologies in plan.md Technical Context:
mcp__tessl__search(query="<technology>")
mcp__tessl__install(packageName="<workspace/tile-name>")Create an internal tracking structure for the completion report:
TESSL_USAGE = {
"documentation_queries": [], # Track (library, topic, task_id)
"skills_invoked": [], # Track (skill_name, task_ids)
"rules_applied": false # Set true if .tessl/RULES.md exists
}Check if rules are being applied:
test -f .tessl/RULES.md && echo "RULES_ACTIVE" || echo "NO_RULES"Before implementing ANY code that uses an installed tile's library:
mcp__tessl__query_library_docs(query="<specific task context for library>")Example queries by task type:
mcp__tessl__query_library_docs(query="click command with options and arguments")mcp__tessl__query_library_docs(query="sqlite3 connection context manager")mcp__tessl__query_library_docs(query="pytest fixtures for database testing")mcp__tessl__query_library_docs(query="fastapi route with request validation")Query when:
Do NOT query:
Skill tiles provide specialized AI commands that can automate parts of implementation.
Before starting each task:
Examples of skill tile usage:
Pattern for invoking a skill tile:
Skill(skill="<skill-name>", args="<context from current task>")After skill invocation:
Skip Tessl if: User passes --no-tessl flag.
If Tessl was available and used during implementation, generate a usage report:
╭─────────────────────────────────────────────╮
│ TESSL TILE USAGE REPORT │
├─────────────────────────────────────────────┤
│ Documentation queries: X │
│ - <library>: <topics queried> │
│ │
│ Skills invoked: X │
│ - /<skill-name> (task IDs) │
│ │
│ Rules applied: [Yes/No] │
│ Tiles used: X of Y installed │
╰─────────────────────────────────────────────╯