Search results

RFC 111: Proof-aware agentic contract feedback

documentationImprovements or additions to documentationImprovements or additions to documentation

incan language semanticsSuggestions, features, or bugs related to the Incan Language itself (syntax and semantics)Suggestions, features, or bugs related to the Incan Language itself (syntax and semantics)

RFCAdding or updating RFC documentsAdding or updating RFC documents

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

#787 In dannys-code-corner/incan;

· dannymeijer opened on Jun 12, 2026

feature - RFC 106 first-class Rust codegraph support

documentationImprovements or additions to documentationImprovements or additions to documentation

editor integrationSuggestions, features, or bugs related to the Editor integration (`vscode extension` and LSP)Suggestions, features, or bugs related to the Editor integration (`vscode extension` and LSP)

featureNew feature or requestNew feature or request

incan compilerSuggestions, features, or bugs related to the Compiler (frontend/backend/codegen)Suggestions, features, or bugs related to the Compiler (frontend/backend/codegen)

runtime / core cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` crates

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#777 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

feature - RFC 106 external codegraph importer experiments

documentationImprovements or additions to documentationImprovements or additions to documentation

featureNew feature or requestNew feature or request

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#776 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

feature - RFC 106 process-risk signals and evaluation harness

documentationImprovements or additions to documentationImprovements or additions to documentation

featureNew feature or requestNew feature or request

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#775 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

feature - RFC 106 MCP tools and task context packing

documentationImprovements or additions to documentationImprovements or additions to documentation

featureNew feature or requestNew feature or request

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#774 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

feature - RFC 106 graph-backed architect findings

documentationImprovements or additions to documentationImprovements or additions to documentation

featureNew feature or requestNew feature or request

incan compilerSuggestions, features, or bugs related to the Compiler (frontend/backend/codegen)Suggestions, features, or bugs related to the Compiler (frontend/backend/codegen)

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#773 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

feature - RFC 106 share codegraph projection with LSP

editor integrationSuggestions, features, or bugs related to the Editor integration (`vscode extension` and LSP)Suggestions, features, or bugs related to the Editor integration (`vscode extension` and LSP)

featureNew feature or requestNew feature or request

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#772 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

feature - RFC 106 enrich diagnostic graph facts

editor integrationSuggestions, features, or bugs related to the Editor integration (`vscode extension` and LSP)Suggestions, features, or bugs related to the Editor integration (`vscode extension` and LSP)

featureNew feature or requestNew feature or request

incan compilerSuggestions, features, or bugs related to the Compiler (frontend/backend/codegen)Suggestions, features, or bugs related to the Compiler (frontend/backend/codegen)

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#771 In dannys-code-corner/incan;

· dannymeijer opened on Jun 6, 2026

RFC proposal - derive vocab helper bindings from package public exports

documentationImprovements or additions to documentationImprovements or additions to documentation

incan language semanticsSuggestions, features, or bugs related to the Incan Language itself (syntax and semantics)Suggestions, features, or bugs related to the Incan Language itself (syntax and semantics)

RFCAdding or updating RFC documentsAdding or updating RFC documents

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

#759 In dannys-code-corner/incan;

· dannymeijer opened on Jun 5, 2026

·  

0.6 Release

RFC proposal - Type-directed library APIs and compile-time type tokens

documentationImprovements or additions to documentationImprovements or additions to documentation

incan language semanticsSuggestions, features, or bugs related to the Incan Language itself (syntax and semantics)Suggestions, features, or bugs related to the Incan Language itself (syntax and semantics)

RFCAdding or updating RFC documentsAdding or updating RFC documents

runtime / core cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` crates

Status: Open.

#752 In dannys-code-corner/incan;

· dannymeijer opened on Jun 3, 2026

·  

0.6 Release

feature - Add std.checksum for CRC and checksum primitives

featureNew feature or requestNew feature or request

runtime / core cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` crates

Status: Open.

Feature

#709 In dannys-code-corner/incan;

· dannymeijer opened on May 28, 2026

·  

0.5 Release

feature - QEMU tiny kernel capability proof

documentationImprovements or additions to documentationImprovements or additions to documentation

featureNew feature or requestNew feature or request

incan compilerSuggestions, features, or bugs related to the Compiler (frontend/backend/codegen)Suggestions, features, or bugs related to the Compiler (frontend/backend/codegen)

runtime / core cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` cratesSuggestions, features, or bugs related to the `incan-core`, `incan-stdlib`, 'incan-derive` crates

toolingSuggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)Suggestions, features, or bugs related to the Tooling (CLI/formatter/test runner)

Status: Open.

Feature

#690 In dannys-code-corner/incan;

· dannymeijer opened on May 25, 2026

·  

0.9 Release