CLI Reference

Commands

Command	Description
lexicon	Start or resume a chat session (same as lexicon chat)
lexicon chat	AI-guided architecture design session
lexicon init	Initialize lexicon in a repository
lexicon verify	Run full verification pipeline
lexicon verify --health	Run verification with repo health checks
lexicon auth	Manage AI provider authentication
lexicon tui	Launch the terminal UI dashboard

Authentication

Command	Description
lexicon auth login [provider]	Authenticate with an AI provider
lexicon auth status	Show current authentication status
lexicon auth refresh [provider]	Refresh authentication tokens
lexicon auth set-key <provider> <key>	Store an API key directly
lexicon auth logout [provider]	Clear stored credentials

Chat Action Directives

All other capabilities are available through chat action directives within lexicon chat. The AI uses these automatically, or you can request them directly:

Directive	Effect
CREATE_CONTRACT	Create a new contract TOML file
UPDATE_CONTRACT	Update an existing contract
CREATE_GATE	Add a verification gate
CREATE_CONFORMANCE	Generate conformance tests for a contract
CREATE_BEHAVIOR	Generate behavior scenarios for a contract
CREATE_PROPERTY_TESTS	Generate property-based tests (proptest)
CREATE_FUZZ_TARGET	Generate a fuzz test harness (libfuzzer)
CREATE_EDGE_CASES	Generate targeted edge case tests
INFER_CONTRACT	Infer a contract from public API source code
COVERAGE_REPORT	Show contract test coverage gaps
API_SCAN	Scan public API and show drift from baseline
API_BASELINE	Save current API as baseline for drift detection
GENERATE_PROMPT	Compile implementation prompts from session or on-disk contracts
PROMPT_LIST	List all generated implementation prompts
PROMPT_STATUS	Check which prompts are stale
REGENERATE_PROMPTS	Regenerate all stale implementation prompts
SYNC_CLAUDE	Sync CLAUDE.md with current repo state
DOCTOR	Check repo health
RUN_VERIFY	Run verification to check current state