feat(cortex): MCP stdio server (--mcp) exposing the semantic graph to LLMs#98

Merged

ApiliumDevTeam merged 23 commits into

mainfrom

feat/aingle-mcp-server

Jun 22, 2026

Commits on Jun 22, 2026

feat(cortex): MCP stdio server scaffold behind --mcp flag

ApiliumDevTeam
and
claude
committed
fix(cortex): error out when --mcp used without the mcp feature

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP error conversion layer

ApiliumDevTeam
and
claude
committed
feat(cortex): service layer + aingle_query_pattern MCP tool

ApiliumDevTeam
and
claude
committed
refactor(cortex): tidy MCP tool template + add query round-trip test
ApiliumDevTeam
committed
feat(cortex): aingle_graph_stats MCP tool
ApiliumDevTeam
committed
feat(cortex): aingle_create_triple MCP tool (write)

ApiliumDevTeam
and
claude
committed
fix(cortex): correct aingle_create_triple idempotency hint + docs

ApiliumDevTeam
and
claude
committed
feat(cortex): aingle_dag_history MCP tool (provenance)
ApiliumDevTeam
committed
feat(cortex): aingle_verify_proof MCP tool

ApiliumDevTeam
and
claude
committed
test(cortex): MCP integration + stdout hygiene

ApiliumDevTeam
and
claude
committed
docs: MCP server usage and client config
ApiliumDevTeam
committed
style(cortex): rustfmt mcp feature files

ApiliumDevTeam
and
claude
committed
fix(cortex): compile MCP without dag feature; mark read tools read-only

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP triple tools (batch_insert, get, delete, list)

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP query tools (list_subjects, list_predicates)

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP aingle_sparql tool (sparql-gated)

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP DAG tools (tips, action, chain, stats, prune)

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP aingle_get_proof tool

ApiliumDevTeam
and
claude
committed
feat(cortex): MCP skill tools (validate, sandbox create/delete)
ApiliumDevTeam
committed
feat(cortex): MCP agent/reasoning tools (consistency, verify_assertions_batch, validate)

ApiliumDevTeam
and
claude
committed
style(cortex): gate MCP service imports + rustfmt for full feature matrix

ApiliumDevTeam
and
claude
committed
Merge remote-tracking branch 'origin/main' into worktree-feat+aingle-mcp-server
ApiliumDevTeam
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(cortex): MCP stdio server (--mcp) exposing the semantic graph to LLMs#98

feat(cortex): MCP stdio server (--mcp) exposing the semantic graph to LLMs#98
ApiliumDevTeam merged 23 commits into
mainfrom
feat/aingle-mcp-server

Commits on Jun 22, 2026

feat(cortex): MCP stdio server scaffold behind --mcp flag

fix(cortex): error out when --mcp used without the mcp feature

feat(cortex): MCP error conversion layer

feat(cortex): service layer + aingle_query_pattern MCP tool

refactor(cortex): tidy MCP tool template + add query round-trip test

feat(cortex): aingle_graph_stats MCP tool

feat(cortex): aingle_create_triple MCP tool (write)

fix(cortex): correct aingle_create_triple idempotency hint + docs

feat(cortex): aingle_dag_history MCP tool (provenance)

feat(cortex): aingle_verify_proof MCP tool

test(cortex): MCP integration + stdout hygiene

docs: MCP server usage and client config

style(cortex): rustfmt mcp feature files

fix(cortex): compile MCP without dag feature; mark read tools read-only

feat(cortex): MCP triple tools (batch_insert, get, delete, list)

feat(cortex): MCP query tools (list_subjects, list_predicates)

feat(cortex): MCP aingle_sparql tool (sparql-gated)

feat(cortex): MCP DAG tools (tips, action, chain, stats, prune)

feat(cortex): MCP aingle_get_proof tool

feat(cortex): MCP skill tools (validate, sandbox create/delete)

feat(cortex): MCP agent/reasoning tools (consistency, verify_assertions_batch, validate)

style(cortex): gate MCP service imports + rustfmt for full feature matrix

Merge remote-tracking branch 'origin/main' into worktree-feat+aingle-mcp-server